×

Logical foundations of mathematics. 2nd rev. and enl. ed. (Les fondements logiques des mathématiques. 2ième éd. rev. et augmentée.) (French) Zbl 0065.00101

Collection de Logique Mathématique. Sér. A. I. Paris: Gauthier-Villars; Louvain: E. Nauwelaerts. xv, 241 p. (1955).
Eine ausführliche Besprechung der ersten Auflage (Paris: Gauthier-Villars 1950) dieses inhaltsreichen Buches findet sich im [Zbl 0040.29010]. Die vorliegende zweite Auflage ist an vielen Stellen neu redigiert. Größere Änderungen sind in Buch III ,,Axiomatique formalisée” vorgenommen worden. Dort wird insbesondere die Semantik wesentlich ausführlicher besprochen (so wird z. B. auf die Erweiterungen des Modellbegriffs nach Henkin und Kemeny eingegangen). Verf. betont ausdrücklich, daß es seiner Ansicht nach zweckmäßig sei, die Syntax vor der Semantik zu behandeln.
Reviewer: H. Hermes

MSC:

03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03A05 Philosophical and critical aspects of logic and foundations
00A30 Philosophy of mathematics

Citations:

Zbl 0040.29010