CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 19 results. Subscribe to this search

|
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).
Conceptual mathematics : a first introduction to categories / F. William Lawvere, Stephen Hoel Schanuel.

by Lawvere, F. William | Schanuel, Stephen Hoel, 1933-.

Edition: 2a ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2009Availability: Items available for loan: [Call number: C F4.1 L425] (1).
Theory of decision under uncertainty / Itzhak Gilboa.

by Gilboa, Itzhak, 1963-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2010Availability: Items available for loan: [Call number: C F4 G466] (1).
Practical foundations of mathematics / Paul Taylor.

by Taylor, Paul, 1960-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1999Availability: Items available for loan: [Call number: C F4 T238] (1).
Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 1997Online access: Publisher description | Table of contents Availability: Items available for loan: [Call number: C F4.1 S471] (1).
First steps in modal logic / Sally Popkorn.

by Popkorn, Sally.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1994Online access: Sample text | Table of contents | Publisher description Availability: Items available for loan: [Call number: C F4 P828] (1).
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

by Huth, Michael, 1962- | Ryan, Mark Dermot, 1962-.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2009Online access: Table of contents | Publisher description Availability: Items available for loan: [Call number: C F4 H979] (1). Checked out (1).
Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Wim H. Hesselink.

by Hesselink, Wim Hendrik, 1946-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C F4.1 H587 ] (1).
Mathematical theory of domains / Viggo Stoltenberg-Hansen, Ingrid Lindström, Edward R. Griffor.

by Stoltenberg-Hansen, Viggo | Lindström, Ingrid | Griffor, Edward R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1994Availability: Items available for loan: [Call number: C F4.1 S888 ] (1).
Extensions of first order logic / María Manzano.

by Manzano, María.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1996Availability: Items available for loan: [Call number: C F4.1 M296 ] (1).
Epistemic logic for AI and computer science / J-J. CH Meyer, Wiebe van der Hoek.

by Meyer, J-J. CH | Hoek, Wiebe van der.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1995Availability: Items available for loan: [Call number: C F4.1 M612 ej.2] (2).
The clausal theory of types / D. A. Wolfram.

by Wolfram, D. A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1993Availability: Items available for loan: [Call number: C F4.1 W861 ] (1).
Topology via logic / Steven Vickers.

by Vickers, Steven.

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

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