Mathematical logic: proof theory, type theory and constructive mathematics

DOI10.4171/OWR/2005/14zbMath1066.03501OpenAlexW1965078359MaRDI QIDQ2487181

No author found.

Publication date: 18 August 2005

Published in: Oberwolfach Reports (Search for Journal in Brave)

Full work available at URL: http://www.ems-ph.org/journals/show_issue.php?issn=1660-8933&vol=2&iss=1

Mathematics Subject Classification ID

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

Related Items (1)

Projective sets, intuitionistically

This page was built for publication: Mathematical logic: proof theory, type theory and constructive mathematics