scientific article; zbMATH DE number 3111916
From MaRDI portal
Publication:5850527
zbMath0066.00902MaRDI QIDQ5850527
Hao Wang, Abraham Robinson, Gisbert Hasenjaeger, Jerzy Łoś, Leon Henkin, Georg Kreisel, Th. Skolem
Publication date: 1955
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Leon Henkin the Reviewer, On the Axiom of Canonicity, INCOMPLETENESS VIA PARADOX AND COMPLETENESS, Omitting types for finite variable fragments and complete representations of algebras, EXISTENCE OF MODELING LIMITS FOR SEQUENCES OF SPARSE STRUCTURES, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
