Łoś J., Mostowski A., and Rasiowa H.. A proof of Herbrand's theorem. Journal de mathématiques pures et appliquées, Folge 9 Bd. 35 , S. 19–24.Łoś J., Rasiowa H., and Mostowski A.. Addition au travail “A proof of Herbrand theorem.” Journal de mathématiques pures et appliquées, Folge 9 Bd. 40 , S. 129–134 [Book Review]

Journal of Symbolic Logic 36 (1):168-169 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271568

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

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

Through your library

My notes

Similar books and articles

A Proof of Herbrand's Theorem.A. Mostowski & H. Rasiowa - 1971 - Journal of Symbolic Logic 36 (1):168-169.
Krasner Marc. Théorie de la définition. Journal de mathématiques pures et appliquées, ser. 9 vol. 36 , pp. 325–357, and vol. 37 , pp. 53–101. [REVIEW]G. Kreisel - 1959 - Journal of Symbolic Logic 24 (3):230-231.
Church Alonzo. Binary recursive arithmetic. Journal de mathématiques pures et appliquées, ser. 9 vol. 36 , pp. 39–55.Julia Robinson - 1958 - Journal of Symbolic Logic 23 (1):35-35.
Moisil Gr. C.. Sur la théorie algébrique de certains circuits électriques. Journal de mathématiques pures et appliquées, vol. 36 no. 4 , pp. 313–324. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (1):74-74.
Moisil Gr. C.. Sur le syllogisme hypothétique dans la lopique intuitioniste. Journal de mathématiques pures et appliquées, ser. 9 vol. 17 , pp. 197–202. [REVIEW]Alonzo Church - 1938 - Journal of Symbolic Logic 3 (2):118-118.
Herbrand's Theorem for a Modal Logic.Melvin Fitting - unknown
Herbrand’s fundamental theorem in the eyes of Jean Van heijenoort.Claus-Peter Wirth - 2012 - Logica Universalis 6 (3-4):485-520.
Describing proofs by short tautologies.Stefan Hetzl - 2009 - Annals of Pure and Applied Logic 159 (1-2):129-145.
Les journaux de mathématiques dans la première moitié du xixe siècle en Europe1.Norbert Verdier - 2009 - Philosophia Scientiae 13 (2):97-126.
A. Mostowski, with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski. Der gegenwärtige Stand der Grundlagenforschung in der Mathematik. Die Hauptreferate des 8. Polnischen Mathematikerkongresses vom 6. bis 12. September 1953 in Warschau, Deutscher Verlag der Wissenschaften, Berlin1955, pp. 11–44. - Andrzej Mostowski, in collaboration with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, and R. Sikorski. The present state of investigations on the foundations of mathematics. English translation. Rozprawy matematyczne no. 9. Państwowe Wydawnictwo Naukowe, Warsaw1955, 48 pp. - A. Mostowski, with participation of A. Grzegorczyk, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski, and S. Jaśkowski. Sovréménnoé sostoánié isslédovanij po osnovaniám matématiki. Russian translation. Uspéhi matématičéskih nauk, vol. 9 no. 3 , pp. 3–38. [REVIEW]Leon Henkin - 1956 - Journal of Symbolic Logic 21 (4):372-373.
Herbrand consistency of some arithmetical theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
A new proof of the classical Herbrand and Skolem theorem.Herman Ruge Jervell - 1971 - [Oslo,: Universitetet i Oslo, Matematisk institutt.
A Proof of the Compactness Theorem for Arithmetical Classes.H. Rasiowa - 1955 - Journal of Symbolic Logic 20 (1):78-78.
A Proof of the Completeness Theorem of Godel.H. Rasiowa & R. Sikorski - 1952 - Journal of Symbolic Logic 17 (1):72-72.
A Proof of the Skolem-Löwenheim Theorem.H. Rasiowa & R. Sikorski - 1953 - Journal of Symbolic Logic 18 (4):339-340.

Analytics

Added to PP
2013-11-03

Downloads
37 (#442,878)

6 months
13 (#218,677)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references