scientific article; zbMATH DE number 3309179

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Related Items (18)

Some unpublished papers of Jean van Heijenoort ⋮ False lemmas in Herbrand ⋮ A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory ⋮ Jean van Heijenoort and the Gödel editorial project ⋮ Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic ⋮ Historical development of modern logic ⋮ On rereading van Heijenoort's selected essays ⋮ In defense of logical universalism: taking issue with Jean van Heijenoort ⋮ More infinity for a better finitism ⋮ Hilbert's epsilon as an operator of indefinite committed choice ⋮ Meeting of the Association for Symbolic Logic, Marseilles, 1981 (the Herbrand Symposium) ⋮ 2008 Annual Meeting of the Association for Symbolic Logic ⋮ On Herbrand's theorem ⋮ Mathematics and Reality ⋮ Extending the type checker of Standard ML by polymorphic recursion ⋮ Complete sets of unifiers and matchers in equational theories ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction

This page was built for publication: