| Topos. Logique de l'onto-logique, suivi de Être-là. Mathématique du transcendental |
Alain Badiou |
Henri Dilberman |
Revue philosophique de la France et de l'étranger |
2024-10-01 |
| Logique et mathématique chez Bernard Bolzano |
Jan Sebestik |
Paul Rusnock |
History and Philosophy of Logic |
1994-01-01 |
| Logique et mathématique chez Bernard Bolzano |
Jan Sebestik |
Jean-Louis Gardies |
Revue philosophique de la France et de l'étranger |
1993-10-01 |
| Une Philosophie de Savant. Henri Poincaré et la Logique Mathématique |
Anne-Françoise Schmid |
Serge Robert |
Dialogue |
1979-12-01 |
| Logique Mathématique |
Jean-François Pabion |
J Largeault |
Archives de Philosophie |
1978-01-01 |
| Essai de formalisation complète du raisonnement mathématique sur la base de trois opérations. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris-25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser |
Jacques Sublet |
Frederic B. Fitch |
The Journal of Symbolic Logic |
1971 |
| Cours de Logique Mathematique |
Roland Fraisse |
D Ponasse |
The Journal of Symbolic Logic |
1970-12-01 |
| Cours de logique mathématique. Tome I. Relation, formule logique, compacité, complétude |
Roland Fraïssé |
D. Ponasse |
The Journal of Symbolic Logic |
1970 |
| Caractérisation, au moyen de la théorie des treillis, du calcul de propositions à foncteurs variables. Applications scientifiques de la logique mathématique, Actes du 2° Colloque International de Logique Mathématique |
Alan Rose |
Krister Segerberg |
The Journal of Symbolic Logic |
1969-05-29 |
| La philosophie des mathématiques de Henri Poincaré. (Collection de Logique Mathématique. Série A, vol. XX) |
J. J. Mooij |
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1968-07-00 |
| Logique mathématique appliquée |
H. Freudenthal |
James G. Renno |
The Journal of Symbolic Logic |
1959 |
| Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Collection de logique mathématique, ser. A no. 9. Dactyloffset |
A. Heyting |
Robert Feys |
The Journal of Symbolic Logic |
1958 |
| L'application de la logique formelle aux mathématiques. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser |
Abraham Robinson |
Robert L. Vaught |
The Journal of Symbolic Logic |
1958 |
| Logique et intuitionnisme. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique |
A. Heyting |
Leon Henkin |
The Journal of Symbolic Logic |
1958 |
| Observations métamathématiques sur les structures simplement ordonnées. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique |
E. W. Beth |
Th. Skolem |
The Journal of Symbolic Logic |
1958 |
| La crise de la raison et la logique. Conférences, faites à l'Université de Liége dans le cadre des échanges culturels belgo-néerlandais au mois de Mai 1956. Collection de logique mathématique, ser. A no. 12. Photooffset from typewritten manuscript |
E. W. Beth |
G. Kreisel |
The Journal of Symbolic Logic |
1958 |
| Initiation à la logique. Collection de logique mathématique, ser |
Le R. P. Dubarle |
John van Heijenoort |
The Journal of Symbolic Logic |
1958 |
| Collection de logique mathématique, série A. Offset |
Dequoy N.. Axiomatique intuitionniste sans négation de la géométrie projective |
P. C. Gilmore |
The Journal of Symbolic Logic |
1955 |
| Théorie métamathématique des idéaux. Collection de logique mathématique, série A. Dactyl-offset |
Abraham Robinson |
Paul R. Halmos |
The Journal of Symbolic Logic |
1955 |
| Les systèmes axiomatiques de la théorie des ensembles. With a preface by P. Destouches-Février. Collection de logique mathématique, série A. Lithographed |
Hao Wang and Robert McNaughton |
Alfons Borgers |
The Journal of Symbolic Logic |
1954 |
| Leçons de logique algébrique. With a preface by Robert Feys. Collection de logique mathématique, série A. Lithographed |
Haskell B. Curry |
Hugo Ribeiro |
The Journal of Symbolic Logic |
1954 |
| Les fondements logiques des mathématiques. With a preface b y P. Destouches-Février. Collection de logique mathématique, série A. Lithographed |
E. W. Beth |
I. L. Novak |
The Journal of Symbolic Logic |
1951 |
