L'Axiomatique

Journal of Symbolic Logic 23 (4):438-439 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964026

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

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

Review: Jean Cavilles, Methode Axiomatique et Formalisme. I. Le Probleme du Fondement des; Jean Cavailles, Methode Axiomatique et Formalisme: II Axiomatique et Systeme Formel; Jean Cavailles, Methode Axiomatique et Formalisme: III La Non-Contradiction de l'Arithmetique. [REVIEW]Evert Beth - 1939 - Journal of Symbolic Logic 4 (1):32-33.
Cavaillès Jean. Méthode axiomatique et formalisme. I. Le problème du fondement des mathématiques. II. Axiomatique et système formel. III. La non-contradiction de l'arithmétique. Actualités scientifiques et industrielles 608-610. Hermann & Cie, Paris 1938. [REVIEW]Evert Beth - 1939 - Journal of Symbolic Logic 4 (1):32-33.
Bernays Paul, Beth E. W., Brouwer L. E. J., Destouches Jean-Louis, Feys R.. Discussion générale. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 73–74. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):185-186.
Quelques remarques sur le caractère provisoire de toute axiomatique.Daniel Dugué - 1957 - Dialectica 11 (1‐2):148-153.
Lukasiewicz Jan. Sur la formalisation des théories mathématiques. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 11–19.Bernays Paul, Robinson Abraham, Curry Haskell B.. Discussion. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 19–21. [REVIEW]Steven Orey - 1957 - Journal of Symbolic Logic 22 (2):214-214.
A. Ch'telet. Allocution d'ouverture. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. XIII. - L. E. J. Brouwer. Discours final. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 75. - Abraham Robinson. On axiomatic systems which possess finite models. Methodos, vol. 3 , pp. 140–149. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):186-186.
Hermes H.. Sur le concept d'axiomatisabilité. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 23–25.Bernays Paul, Robinson Abraham. Discussion. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, p. 26. [REVIEW]Jonathan Bennett - 1957 - Journal of Symbolic Logic 22 (1):83-83.
L'axiomatique.Th Skolem - 1956 - Les Etudes Philosophiques 11 (2):323-324.
Axiomatique et intuition.É Winance - 1964 - Revue Thomiste 64:387.
La pensée axiomatique. [REVIEW]Gaston Bachelard - 1940 - Philosophy Today 14:21.
Blanché , L'axiomatique. [REVIEW]L. A. L. A. - 1956 - Revue Philosophique de la France Et de l'Etranger 146:404.
Physique et axiomatique.J. Ullmo - 1949 - Revue de Métaphysique et de Morale 54 (2):126 - 138.
Robert Blanché, L'axiomatique.K. Józef St - 1955 - Roczniki Filozoficzne 5 (2):206.
L'Axiomatique Intuitionniste.A. Heyting - 1958 - Journal of Symbolic Logic 23 (3):343-344.
Heyting A.. Espace de Hilbert et intuitionnisme. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 59–63.Bernays Paul, Hermes H., Heyting A., Johansson Ingebrigt, Robinson Abraham. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, p. 64. [REVIEW]Sigekatu Kuroda - 1958 - Journal of Symbolic Logic 23 (2):228-229.

Analytics

Added to PP
2017-02-21

Downloads
3 (#1,706,939)

6 months
2 (#1,187,206)

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