Constructive order types / John N. Crossley.
Series Studies in logic and the foundations of mathematicsEditor: Amsterdam ; London : North-Holland, 1969Descripción: 225 p. ; 23 cmOtra clasificación: 03E10 (03F55)Item 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 C951 (Browse shelf) | Available | A-4085 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 C837c O Círculo de Viena / | 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 / |
Incluye dos apéndices: A mixed cancellation theorem / by P. H. G. Aczel and J. N. Crossley -- Infinite products and principal numbers for multiplication / by A. G. Hamilton.
Bibliografía: p. [215]-216.
MR, 41 #5214
There are no comments on this title.