Combinatory logic / Haskell B. Curry, Robert Feys ; with two sections by William Craig.
Series Studies in logic and the foundations of mathematicsEditor: Amsterdam : North-Holland, 1958-1972Descripción: 2 v. ; 24 cmISBN: 0720422086 (v. 2)Tema(s): Combinatory logicOtra 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 C976c (Browse shelf) | v. 1 | Available | A-37 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 C837n A natureza dos juízos matemáticos / | 03 C886 Logic in algebraic form : | 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 / |
Vol. 2 by H. B. Curry, J. R. Hindley and J. P. Seldin.
Incluye referencias bibliográficas (v. 1, p. [382]-393) e índice.
MR, 20 #817 (v. 1)
La biblioteca sólo posee v. 1. AR-BbIMB
There are no comments on this title.