The calculi of lambda-conversion / by Alonzo Church.
Series Annals of mathematics studies ; 6Editor: Princeton : Princeton University Press, 1941Descripción: ii, 82 p. ; 23 cmOtra clasificación: 03B40Item 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 C561 (Browse shelf) | Available | A-43 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 C4565 Symbolic logic and mechanical theorem proving / | 03 C4565 Symbolic logic and mechanical theorem proving / | 03 C456m Model theory / | 03 C561 The calculi of lambda-conversion / | 03 C561i Introduction to mathematical logic. | 03 C561i Introduction to mathematical logic. | 03 C564 La méthode générale des sciences positives : |
MR, 3,129b
There are no comments on this title.