2011 Spring Meeting of the Association for Symbolic Logic.

DOI10.2178/BSL/1327328442MaRDI QIDQ5388759zbMATH OpenOpenAlexFDO

Authors

Publication date 20 April 2012

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

Full work available at URL https://projecteuclid.org/euclid.bsl/1327328442

Mathematics Subject Classification ID

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

Recommendations

• 2010–2011 Winter Meeting of the Association for Symbolic Logic
• Preface
• Publication:4938220
• Logic colloquium '95. Invited papers presented in the special sessions on proof theory at the European summer meeting of the Association for Symbolic Logic, Haifa, Israel, August 9--17, 1995
• Preface

Cites work

• String theory

Cited in

(1)

• 2010–2011 Winter Meeting of the Association for Symbolic Logic

This page was built for publication: 2011 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 Q5388759)