Normal view MARC view ISBD view

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
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
Salle R
03 CUR (Browse shelf) Available 01165-01

Bibliogr. Index

There are no comments for this item.

Log in to your account to post a comment.