Deux esquisses de logique / par J. Barkley Rosser.
Series Collection de logique mathématique. Sér. A ; VIIEditor: Paris : Gauthier-Villars, 1955Descripción: 65 p. ; 25 cmOtra clasificación: 03-06 (03Cxx 03B40)
Contenidos:
1e. esquisse. Logique combinatoire et [lambda]-conversion2e. esquisse. Les modèles des logiques formelles.
Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 R828d (Browse shelf) | Available | A-125 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 R813 The elements of mathematical logic / | 03 R813 The elements of mathematical logic / | 03 R828 Simplified independence proofs : | 03 R828d Deux esquisses de logique / | 03 R828l Logic for mathematicians / | 03 R828l Logic for mathematicians / | 03 R828m Many-valued logics / |
1e. esquisse. Logique combinatoire et [lambda]-conversion -- 2e. esquisse. Les modèles des logiques formelles.
MR, 16,661b
There are no comments on this title.