Selected works in logic

&
Oslo,: Universitetsforlaget. Edited by Jens Erik Fenstad (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.S54 1970

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,785

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Bewiesbarkeit mathematischer Sätze nebst einem Theorem über dichte Mengen.  (pages UNKNOWN)Thoralf Skolem
Über einige Grundlagenfragen der Mathematik.  (pages 227--73)Thoralf Skolem
Einige Bemerkungen zu der Abhandlung von E.~Zermelo: ”Über die Definitheit in der Axiomatik'.  (pages 276--9)Thoralf Skolem
Sur la Porté du Théorème Löwenheim-Skolem.  (pages 455--82)Thoralf Skolem
Remarks on Skolem.  (pages 637--8)A. Tarski
Interpretation of Mathematical Theories in the First Order Predicate Calculus.  (pages 673--80)Thoralf Skolem

Similar books and articles

Selected Works in Logic. [REVIEW]Warren D. Goldfarb - 1971 - Journal of Philosophy 68 (17):520-530.
Selected Works in Logic (1970).E. J. Fenstad (ed.) - 1958 - Universitetsforlaget.
Skolem Th.. Recursive enumeration of some classes of primitive recursive functions and a majorisation theorem. Det Kongelige Norske Videnskabers Selskabs, Forhandlinger, vol. 35 , pp. 142–148. Reprinted in Selected works in logic, by Th. Skolem, edited by Fenstad Jens Erik, Universitetsforlaget, Oslo, Bergen, and Tromsö, 1970, pp. 681–687. [REVIEW]H. E. Rose - 1973 - Journal of Symbolic Logic 38 (3):526-526.
Selected works.Jan Łukasiewicz - 1970 - Amsterdam,: North-Holland Pub. Co.. Edited by Ludwik Borkowski.
Remarks on Skolem.A. Tarski - 1970 - In Th Skolem & Jens Erik Fenstad, Selected works in logic. Oslo,: Universitetsforlaget. pp. 637--8.
Selected Works.L. Borkowski - 1973 - Journal of Philosophy 70 (3):81-85.
Sur la Porté du Théorème Löwenheim-Skolem.Thoralf Skolem - 1970 - In Th Skolem & Jens Erik Fenstad, Selected works in logic. Oslo,: Universitetsforlaget. pp. 455--82.
Interpretation of Mathematical Theories in the First Order Predicate Calculus.Thoralf Skolem - 1970 - In Th Skolem & Jens Erik Fenstad, Selected works in logic. Oslo,: Universitetsforlaget. pp. 673--80.
Über einige Grundlagenfragen der Mathematik.Thoralf Skolem - 1970 - In Th Skolem & Jens Erik Fenstad, Selected works in logic. Oslo,: Universitetsforlaget. pp. 227--73.
Une Relativisation des Notions Mathématiques Fondamentales.Thoralf Skolem - 1958 - In E. J. Fenstad, Selected Works in Logic (1970). Universitetsforlaget. pp. 633--8.

Analytics

Added to PP
2009-01-28

Downloads
49 (#461,764)

6 months
4 (#1,064,894)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.

View all 20 citations / Add more citations

References found in this work

No references found.

Add more references