CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 107 results. Subscribe to this search

|
Introduction to languages, machines and logic : computable languages, abstract machines and formal logic / Alan P. Parkes.

by Parkes, Alan P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Springer, 2002Availability: Items available for loan: [Call number: C F4 P235 ] (1).
Information algebras : generic structures for inference / Jürg Kohlas.

by Kohlas, Jürg, 1939-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Springer, 2003Availability: Items available for loan: [Call number: C F4 K791 ] (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).
Trends in logic : 50 years of studia logica / edited by Vicent F. Hendricks, Jacek Malinowski.

by Hendricks, Vicent F [ed.] | Malinowski, Jacek [ed.].

Material type: book Book Publisher: Dordrecht : Kluwer, 2003Availability: Items available for loan: [Call number: C F4 T794 ] (1).
Logic, induction and sets / Thomas E. Forster.

by Forster, Thomas E, 1948-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2003Availability: Items available for loan: [Call number: C F4 F754] (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).
Inferencia de tipos para Fˆ, un λ cálculo polimórfico con terminación basada en tipos / Fernando Martín Pastawski.

by Pastawski, Fernando Martín, 1982- | Barthe, Gilles, 1967- [dir.] | Fridlender, Daniel Edgardo, 1964- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n.], 2005Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2005. Availability: Items available for loan: [Call number: TE C PAS] (2).

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