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

DOI10.2307/2272726MaRDI QIDQ4777253zbMATH OpenOpenAlexFDO

Authors

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

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4777253)