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

DOI10.2307/2272726zbMATH Open0289.02006OpenAlexW2152919884MaRDI QIDQ4777253FDOQ4777253

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

• Introduction to model theory and to the metamathematics of algebra
• Subdirect unions in universal algebra
• Combinatory logic. Vol. II
• Countable vector spaces with recursive operations Part II
• Applications of Strict Π₁¹ predicates to infinitary logic
• Combinatorial systems. I: Cylindrical problems
• 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)