Combinatory logic, 1 / Haskell B. Curry, Robert Feys, William Craig

Auteur principal : Curry, Haskell Brooks, 1900-1982, AuteurCo-auteur : Feys, Robert, 1889-1961, Auteur • Craig, William, 1918-2016, AuteurType de document : MonographieCollection : Studies in logic and the foundations of mathematicsLangue : anglais.Pays: Pays Bas.Éditeur : Amsterdam : North-Holland, 1958Description : 1 vol. (393 p.) : appendix ; 24 cmISBN: s.n..ISSN: 0049-237X.Bibliographie : Bibliogr. Index.Sujet MSC : 03Fxx, Mathematical logic and foundations - Proof theory and constructive mathematics
03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Item type: Monographie
Tags from this library: No tags from this library for this title. Log in to add tags.
Current library Call number Status Date due Barcode
Salle 1
03 CUR (Browse shelf(Opens below)) Available 01165-01

Bibliogr. Index

There are no comments on this title.

to post a comment.