Refinar su búsqueda

Su búsqueda retornó 212 resultados.

Ordenar
Resultados
81.
Many-valued logics / John Barkley Rosser, Atwell Rufus Turquette. por Series Studies in logic and the foundations of mathematics
Detalles de publicación: Amsterdam : North-Holland, 1952
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 R829 .
82.
The lambda calculus : Its syntax and semantics / Hendrik Pieter Barendregt. por Series Studies in logic and the foundations of mathematics ; v. 103
Edición: 1a. ed. rev.
Detalles de publicación: Amsterdam : North-Holland, 1984
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 B248 .
83.
Intensional and higher-order modal logic : with applications to Montague semantics / Daniel Gallin. por Series North-Holland mathematics studies ; no. 19
Detalles de publicación: Amsterdam : New York : North-Holland, American Elsevier, 1975
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 G168 .
84.
Combinatory logic / Haskell Brooks Curry, Robert Feys, William Craig. por Series Studies in logic and the foundations of mathematics
Detalles de publicación: Amsterdam : North-Holland, 1958
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 C976c .
85.
Model theory / Chen Chung Chang, H. Jerome Keisler. por Series Studies in logic and the foundations of mathematics ; v. 73
Detalles de publicación: Amsterdam : North-Holland, 1973
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 CH456 .
86.
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus / Reuben Louis Goodstein. por Series Studies in logic and the foundations of mathematics
Detalles de publicación: Amsterdam : North-Holland, 1957
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 G654r .
87.
Proof theory / Gaisi Takeuti. por Series Studies in logic and the foundations of mathematics ; v. 81
Detalles de publicación: Amsterdam : North-Holland, 1975
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 T136 .
88.
Introduction to the theory of finite automata / Natan Efimovich Kobrinskii, Boris Avraamovich Trajtenbrot. por Series Studies in logic and the foundations of mathematics
Detalles de publicación: Amsterdam : North-Holland, 1965
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 K75 .
89.
90.
Nomological statements and admissible operations. Hans Reichenbach. por Series Studies in logic and the foundations of mathematics
Detalles de publicación: Amsterdam : North-Holland, 1954
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 R351 .
91.
92.
93.
Intuitionism : an introduction / Arend Heyting. por Series Studies in logic and the foundations of mathematics
Detalles de publicación: Amsterdam : North-Holland, 1956
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 H621 .
94.
History of functional analysis / Jean Alexandre Dieudonné. por Series Notas de matemática ; no. 77 | North-Holland mathematics studies ; no. 49
Detalles de publicación: Amsterdam : North-Holland, 1981
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 46 D567h .
95.
Spectra of partial differential operators / Martin Schechter. por Series North-Holland series in applied mathematics and mechanics ; v. 14
Edición: 2a. ed.
Detalles de publicación: Amsterdam : North-Holland, 1986
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 35 S314 .
96.
Operators and representation theory : canonical models for algebras of operators arising in quantum mechanics / Palle E. T. Jorgensen. por Series North-Holland mathematics studies ; no. 147 | Notas de matemática ; no. 120
Detalles de publicación: Amsterdam : North-Holland, 1988
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 47 J826.
97.
Health and medical physics / ed. j. Baarli. por Series Proceedings of the International School of Physics "Enrico Fermi" ; course 66
Detalles de publicación: Amsterdam : North-Holland, 1977
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: F 87.50 HEA .
98.
99.
100.
Superionic solids : principles and applications / Suresh Chandra. por
Detalles de publicación: Amsterdam : North-Holland, 1981
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: F 66.30 CHA , ...
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)