1999 Spring Meeting of the Association for Symbolic Logic

DOI10.2307/421120MaRDI QIDQ4946842zbMATH OpenOpenAlexFDO

Authors

Publication date 4 June 2000

Published in The 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

LogicMeetingNew Orleans, LousianaSymbolic logic

Mathematics Subject Classification ID

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

Cites work

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

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

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