The 2007 Annual Conference of the Australasian Association for Logic

DOI10.2178/bsl/1231081377zbMath1156.03304OpenAlexW2480557930MaRDI QIDQ3616440

No author found.

Publication date: 25 March 2009

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

Full work available at URL: https://doi.org/10.2178/bsl/1231081377

Mathematics Subject Classification ID

Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• Single variable formulas in S4
• Sentential constants in systems near R
• Weak Second‐Order Arithmetic and Finite Automata
• Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science
• Steps toward a constructive nominalism