1999 Spring Meeting of the Association for Symbolic Logic

DOI10.2307/421120zbMath1036.00509OpenAlexW2318929006MaRDI QIDQ4946842

No author found.

Publication date: 4 June 2000

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

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0504-toc.htm

zbMATH Keywords

MeetingLogicSymbolic logicNew Orleans, Lousiana

Mathematics Subject Classification ID

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

Cites Work

• Normal natural deduction proofs (in classical logic)
• Cut-elimination and a permutation-free sequent calculus for intuitionistic logic
• The Mathematics of Sentence Structure
• Hilbert's Programs: 1917–1922
• Step by Recursive Step: Church's Analysis of Effective Calculability

This page was built for publication: 1999 Spring Meeting of the Association for Symbolic Logic