Antonio Diego. Sur les algebres de Hilbert. With a preface by Jean Porte. French translation of XXXV 171 by Luisa Iturrioz. Collection de logique mathématique, series A, no. 21. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, viii + 55 pp [Book Review]

Journal of Symbolic Logic 35 (1):139 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200092501

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,174

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: Antonio Diego, Jean Porte, Luisa Iturrioz, Sur les Algebres de Hilbert. [REVIEW]C. G. McKay - 1970 - Journal of Symbolic Logic 35 (1):139-139.
Wang Hao and McNaughton Robert. Les systèmes axiomatiques de la théorie des ensembles. With a preface by Destouches-Février P.. Collection de logique mathématique, série A. Lithographed. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1953, 55 pp. [REVIEW]Alfons Borgers - 1954 - Journal of Symbolic Logic 19 (1):64-64.
Tarski Alfred. Introduction à la logique. French translation of XII 61 by Jacques A. Tremblay. Collection de logique mathématique, série A no. 16. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1960, XV + 224 pp. [REVIEW]Alfons Borgers - 1965 - Journal of Symbolic Logic 30 (2):236-237.
Curry Haskell B.. Leçons de logique algébrique. With a preface by Robert Feys. Collection de logique mathématique, série A. Lithographed. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1952, 163 pp. [REVIEW]Hugo Ribeiro - 1954 - Journal of Symbolic Logic 19 (2):146-147.
Dekker J. C. E.. Les fonctions combinatoires et les isols. Collection de logique mathématique, série A, no. 22, Gauthiers-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, 79 pp. [REVIEW]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406-406.
Ladrière Jean. Les limitations internes des formalismes. Étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques. Collection de logique mathématique, B II. E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1957, XV + 715 pp. [REVIEW]Donald Monk - 1960 - Journal of Symbolic Logic 25 (3):270-270.
Beth E. W.. Les fondements logiques des mathématiques. With a preface b y Destouches-Février P.. Collection de logique mathématique, série A. Lithographed. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1950, 222 pp. [REVIEW]I. L. Novak - 1951 - Journal of Symbolic Logic 16 (2):153-154.
Beth E. W.. 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, Paris – 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 29–35.Robinson A. and Beth E. W.. Discussion. 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. A no. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, p. 35. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (1):34-35.
Freudenthal H.. Logique mathématique appliquée. Collection de logique mathématique, Série A, no. 14. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1958, title pages + 59 pp. [REVIEW]James G. Renno - 1959 - Journal of Symbolic Logic 24 (3):256-256.
A. Heyting. Logique et intuitionnisme. 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. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 75–82. - G. Kreisel, Abraham Robinson, Ingebrigt Johansson, Georges Kurepa, A. Heyting. Discussion. 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. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 82–83. [REVIEW]Leon Henkin - 1958 - Journal of Symbolic Logic 23 (1):33-33.

Analytics

Added to PP
2013-11-03

Downloads
62 (#344,349)

6 months
13 (#264,153)

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