Logico-combinatorial investigations in the satisfiability or provability of mathematical propositions: A simplified proof of a theorem by L. Löwenheim and generalizations of the theorem / Thoralf Skolem
Material type:
ArticleLanguage: English Subject(s): Proposiciones Matemáticas
In:
From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 252-264
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Artículo de colaboración
|
San Esteban Depósito de libros | 25/3 (Browse shelf (Opens below)) | Available |