CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 279 results. Subscribe to this search

|
Representación semántica de lenguaje natural en el dominio de fórmulas lógicas / Diego Piloni.

by Piloni, Diego Ricardo, 1994- | Pagano, Miguel María, 1979- [dir.] | Vilela, Demetrio Martín, 1969- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2018Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2018. Online access: Acceso a RDU-UNC Availability: Items available for loan: [Call number: TE C PIL] (1).
Type-driven development with Idris / Edwin Brady.

by Brady, Edwin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Manning Publications, 2017Availability: Items available for loan: [Call number: C F3 B812] (1).
Introducción al simbolismo lógico / Jorge Bosch.

by Bosch, Jorge E, 1925-.

Edition: 3a ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Buenos Aires : EUDEBA, 1967Availability: Items available for loan: [Call number: M 03 B742e3] (1).
Eighteen papers on logic and theory of functions / by I. S. Arson ... [et al.]

by Aršon, I. S | Dunduchenko, Leonid Emelʹi︠a︡novich | Kolesnik, L. I.‏ | koslovcev, S. G | krasičkov, I. F | Mal'cev, A. I | Masljakov, Ju. I | Mučnik, A. A | Nikolski, Sergeĭ Mikhaĭlovich, 1905-2012 | Pak, M. A | Petrov, I. M | Pohilevič, V. A | Sinev, E. A | Turkovskii, V. A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, 1969Availability: Items available for loan: [Call number: AMS TRANS2 v. 83] (1).
Sixteen papers on logic and algebra / by V. A. Baranskiĭ ... [et al.].

by Baranskii, V. A | Bekker, I. H | Ceitin, G. S | Iskander, A. A | Kogalovskii, S. R | Ljapin, E. S | Myskin, V. I | Orlovskii, E. S | Sevrin, L. N | Spivak, M. A | Sutov, È. G | Taimanov, A. D | Vorob'ev, N.N.‏.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, 1970Availability: Items available for loan: [Call number: AMS TRANS2 v. 94] (1).
Introducción a la lógica / Irving M. Copi.

by Copi, Irving M, 1917-2002.

Edition: 5a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Buenos Aires : EUDEBA, 1967Availability: Items available for loan: [Call number: M 03 C783e5] (1).
Introducción a la lógica / Irving M. Copi.

by Copi, Irving M, 1917-2002.

Edition: 1a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Buenos Aires : EUDEBA, 1962Availability: Items available for loan: [Call number: M 03 C783] (1).
Semantics engineering with PLT Redex / Matthias Felleisen, Robert Bruce Findler, Matthew Flatt.

by Felleisen, Matthias | Findler, Robert Bruce | Flatt, Matthew.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT Press, c2009Availability: Items available for loan: [Call number: C F3 F318] (1).
Aplicaciones de álgebra universal al reticulado de Post / Maico C. Leberle.

by Leberle, Maico Carlos, 1991- | Vaggione, Diego José, 1962-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2017Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2017. Online access: Acceso a Versión Digital | RDU-UNC Availability: Items available for loan: [Call number: TE C LEB] (1).
The Works of Antonio A. Monteiro [recurso electrónico] / edited by Eduardo L. Ortiz and Alfredo Pereira Gomes ; presentation by Jean-Pierre Kahane.

by Ortiz, Eduardo L [ed.] | Pereira Gomes, Alfredo [ed.] | Kahane, Jean-Pierre | Monteiro, Antonio Aniceto Ribeiro, 1907-1980.

Material type: computer file Computer file; Format: electronic Publisher: Lisbon : Fundação Calouste Gulbenkian ; ; London : The Humboldt Press, 2008Availability: Items available for loan: [Call number: M 03 W926] (1).
Archiv für mathematische Logik und Grundlagenforschung / Hans Hermes, Jürgen von Kempski, Kurt Schütte.

by Hermes, Hans, 1912-2003 | Kempski, Jürgen von, 1910-1998 | Schütte, Kurt, 1909-1998.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Stuttgart : W. Kohlhammer Verlag, 1950-1987Availability: Items available for loan: [Call number: M 03 H553] (1).
Computable structures and the hyperarithmetical hierarchy / C.J. Ash, J. Knight.

by Ash, C. J | Knight, Julia.

Edition: 1st ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam ; New York : Elsevier, 2000Availability: Items available for loan: [Call number: M 03 A819] (1).
An introduction to bisimulation and coinduction / Davide Sangiorgi.

by Sangiorgi, Davide, 1964-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, c2012Online access: Publisher description | Table of contents only Availability: Items available for loan: [Call number: C F3 S195] (1).
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).
Software abstractions : logic, language and analysis / Daniel Jackson.

by Jackson, Daniel, 1963-.

Edition: Ed. rev. Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Massachusetts : MIT, c2012Availability: Items available for loan: [Call number: C F4 J12] (1).
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / Robert I Soare.

by Soare, Robert Irving, 1940-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1987Availability: Items available for loan: [Call number: M 03 S676] (1).
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / Yves Bertot, Pierre Castéran ; foreword by Gérard Huet and Christine Paulin-Mohring.

by Bertot, Yves, 1964- | Castéran, Pierre.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, c2010Availability: Items available for loan: [Call number: C F3 B547] (1).
Modeling and analysis of communicating systems / Jan Friso Groote and Mohammad Reza Mousavi.

by Groote, Jan Friso, 1965- | Mousavi, Mohammad Reza, 1978-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Massachusetts : MIT, 2014Availability: Items available for loan: [Call number: C D2.4 G876] (1).
Self-reference / edited by Thomas Bolander, Vincent F. Hendricks, and Stig Andur Pedersen.

by Bolander, Thomas [ed.] | Hendricks, Vincent Fella, 1970- [ed.] | Pedersen, Stig Andur, 1943- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Stanford, California : Center for the Study of Language and Information, c2006Availability: No items available Checked out (1).
A logical introduction to proof / Daniel W. Cunningham.

by Cunningham, Daniel W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2013Availability: Items available for loan: [Call number: M 03 C973] (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