scientific article; zbMATH DE number 857585
From MaRDI portal
Publication:4870327
zbMath0834.00012MaRDI QIDQ4870327
No author found.
Publication date: 18 March 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Type reducing correspondences and well-orderings: Frege's and Zermelo's constructions re-examined ⋮ 1994 Annual Meeting of the Association for Symbolic Logic ⋮ Step by Recursive Step: Church's Analysis of Effective Calculability ⋮ Tait's conservative extension theorem revisited ⋮ A Natural Axiomatization of Computability and Proof of Church's Thesis ⋮ Only Two Letters: The Correspondence between Herbrand and Gödel ⋮ What is Neologicism?
