Su búsqueda retornó 10 resultados.

Ordenar
Resultados
1.
Proof theory : an introduction / Wolfram Pohlers. por Series Lecture notes in mathematics ; v. 1407 | LNM ; v. 1407
Detalles de publicación: Berlin : Springer, 1989
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 P748 v.1407.
2.
Proceedings of the summer school in logic Leeds, 1967 : edited by M. H. Löb. N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic / por Series Lecture notes in mathematics ; v. 70 | LNM ; v. 70
Detalles de publicación: Berlin : Springer, 1968
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: AR M 03 P963 ej.2, ...
3.
Principles of intuitionism : lectures presented at the Summer conference on Intuitionism and proof theory (1968) at SUNY at Buffalo, N. Y. Anne Sjerp Troelstra. por Series Lecture notes in mathematics ; v. 95 | LNM ; v. 95
Detalles de publicación: Berlin : Springer, 1969
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: AR M 03 T843p ej.2, ...
4.
The syntax and semantics of infinitary languages / edited by Jon Barwise. por Series Lecture notes in mathematics ; v. 72 | LNM ; v. 72
Detalles de publicación: Berlin : Springer, 1968
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: AR M 03 S993 ej.2, ...
5.
Proof theory and intuitionistic systems / Bruno Scarpellini. por Series Lecture notes in mathematics ; v. 212 | LNM ; v. 212
Detalles de publicación: Berlin : Springer, 1971
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: AR M 03 S285 ej.2, ...
6.
Lectures in set theory with particular emphasis on the method of forcing / Thomas J. Jech. por Series Lecture notes in mathematics ; v. 217 | LNM ; v. 217
Detalles de publicación: Berlin : Springer, 1971
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: AR M 04 J45 ej.2, ...
7.
Models of ZF-set theory / Ulrich Felgner. por Series Lecture notes in mathematics ; v. 223 | LNM ; v. 223
Detalles de publicación: Berlin : Springer, 1971
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: AR M 04 F312 ej.2, ...
8.
Metamathematical investigation of intuitionistic arithmetic and analysis / Anne Sjerp Troelstra. por Series Lecture notes in mathematics ; v. 344 | LNM ; v. 344
Detalles de publicación: Berlin : Springer, 1973
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: AR M 03 T843m v.344, ...
9.
Modelle der mengenlehre / Ronald Björn Jensen. por Series Lecture notes in mathematics ; v. 37 | LNM ; v. 37
Detalles de publicación: Berlin : Springer, 1967
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: AR M LNM v.37 ej.2, ...
10.
Extensional Gödel functional interpretation : a consistency proof of classical analysis / Horst Luckhardt. por Series Lecture notes in mathematics ; LNM ; v. 306
Detalles de publicación: Berlin : Springer, 1973
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: M LNM v. 306, ...
Páginas


Nuestras Redes Sociales

facebook Instagram

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

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 (Dirección)

publicofamaf@gmail.com (Atención al público)