CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 5 results. Subscribe to this search

|
Computability and logic / George S. Boolos, Richard Carl Jeffrey.

by Boolos, George S, 1940-1996 | Jeffrey, Richard Carl, 1926-.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1980Availability: Items available for loan: [Call number: AR M 03 B724 ] (1).
Introduction to combinatorics and lambda calculus / J. Roger Hindley, Jonathan P. Seldin.

by Hindley, James Roger, 1939- | Seldin, Jonathan P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge university, 1986Availability: Items available for loan: [Call number: AR M 03 H662i ] (1).
Introduction to combinatory logic / J. Roger Hindley, B. Lercher, Jonathan P. Seldin.

by Hindley, James Roger, 1939- | Lercher, B | Seldin, Jonathan P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1972Availability: Items available for loan: [Call number: AR M 03 H662 ] (1).
The unprobability of consistency : an essay in modal logic / George S. Boolos.

by Boolos, George S, 1940-1996.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1979Availability: Items available for loan: [Call number: AR M 03 B724u ] (1).
Proofs and types / Jean-Yves Girard, Yves Lafont, Paul Taylor ; translated and with appendices by Paul Taylor, Yves Lafont.

by Girard, Jean-Yves, 1947- | Lafont, Yves [tr.] | Taylor, Paul [tr.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1999Availability: Items available for loan: [Call number: AR C F4.1 G517 ] (1).

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar