Leçons de logique algébrique / par Haskell B. Curry.
Series Collection de logique mathématique, sér. A ; 2Editor: Paris : Gauthier-Villars, 1952Descripción: 163 p. ; 26 cmOtra clasificación: 03GxxItem type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 C976l (Browse shelf) | Available | A-1894 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 C951 Constructive order types / | 03 C976c Combinatory logic / | 03 C976f Foundations of mathematical logic / | 03 C976l Leçons de logique algébrique / | 03 C976o Outlines of a formalist philosophy of mathematics / | 03 C976t A theory of formal deducibility / | 03 C976t-2 A theory of formal deducibility / |
MR, 13,613g
There are no comments on this title.