CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 9 results. Subscribe to this search

|
Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten.

by Sangiorgi, Davide, 1964- | Rutten, Johannes Josephus Martinus Matheus, 1959-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2012Availability: Items available for loan: [Call number: C F3 A244t] (1).
Mathematics, machines, and Godel's proof / N. Shankar.

by Shankar, N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge Iniversity, 1997Availability: Items available for loan: [Call number: C F4.1 S528 ej.2] (2).
Logic and computation : Interactive proof with Cambridge LCF / Lawrence C. Paulson.

by Paulson, Lawrence C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : University of Cambridge, 1987Availability: Items available for loan: [Call number: C F4 P332 ] (1).
Formal methods in artificial intelligence / Allan Ramsay.

by Ramsay, Allan, 1953-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1991Availability: Items available for loan: [Call number: C F4 R178 ] (1).
Basic simple type theory / J. Roger Hindley.

by Hindley, James Roger, 1939-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1997Availability: Items available for loan: [Call number: C F4 H662 ] (1).
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema.

by Blackburn, Patrick, 1959- | Rijke, Maarten de | Venema, Yde, 1963-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 2001Availability: Items available for loan: [Call number: C F4 B628 ] (1).
Basic proof theory / Anne Sjerp Troelstra, Helmut Schwichtenberg.

by Troelstra, Anne Sjerp, 1939- | Schwichtenberg, Helmut, 1942-.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2000Availability: Items available for loan: [Call number: C F4 T843 ] (1).
Nonmonotonic reasoning : logical foundations of commonsense / Gerhard Brewka.

by Brewka, Gerhard, 1955-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1991Availability: Items available for loan: [Call number: C F4 B828 ] (1).
Derivation and computation : taking the Curry-Howard correspondence seriously /

by Simmons, Harold.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2000Availability: Items available for loan: [Call number: C F4 S592 ] (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

publicofamaf@gmail.com