scientific article; zbMATH DE number 1217494
From MaRDI portal
Publication:4214829
zbMath0899.00026MaRDI QIDQ4214829
No author found.
Publication date: 2 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (8)
Intuitionistic completeness for first order classical logic ⋮ The completeness of Heyting first-order logic ⋮ Proof-relevance in Bishop-style constructive mathematics ⋮ Intuitionistic completeness of first-order logic ⋮ A New Foundational Crisis in Mathematics, Is It Really Happening? ⋮ Remembering Oscar Kempthorne (1919--2000). ⋮ Morse set theory as a foundation for constructive mathematics ⋮ Type Theory and Homotopy
This page was built for publication:
