European Meeting of the Association for Symbolic Logic, Bristol, England, 1973

DOI10.2307/2272726zbMath0289.02006OpenAlexW2152919884MaRDI QIDQ4777253

No author found.

Publication date: 1974

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272726

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Mathematical logic and foundations (03-XX)

Cites Work

• Combinatory logic. Vol. II
• Combinatorial systems. I: Cylindrical problems
• Introduction to model theory and to the metamathematics of algebra
• The consistency of a system of combinatory restricted generality
• Applications of Strict Π₁¹ predicates to infinitary logic
• Countable vector spaces with recursive operations Part II
• Vom Unendlichen zum Endlichen
• Subdirect unions in universal algebra

This page was built for publication: European Meeting of the Association for Symbolic Logic, Bristol, England, 1973