ON THE SYNTAX OF LOGIC AND SET THEORY

DOI10.1017/S1755020310000122zbMath1229.03039arXiv1003.4102OpenAlexW2963655298MaRDI QIDQ3066779

Lucius T. Schoenbaum

Publication date: 12 January 2011

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

Full work available at URL: https://arxiv.org/abs/1003.4102

zbMATH Keywords

formal set theoryformalized logic

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mathematical thought. An introduction to the philosophy of mathematics
• Logic based on inclusion and abstraction
• On the theory of types
• Element and Number

This page was built for publication: ON THE SYNTAX OF LOGIC AND SET THEORY