Refinar su búsqueda

Su búsqueda retornó 280 resultados.

Ordenar
Resultados
81.
A survey of mathematical logic / Hao Wang. por Series Studies in logic and the foundations of mathematics
Detalles de publicación: Amsterdam : Science Press, 1963
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 W246.
82.
The collected papers of Gerhard Gentzen / Edited by M. E. Szabo. por Series Studies in logic and the foundations of mathematicsIdioma: engger
Detalles de publicación: Amsterdam, North-Holland, 1969
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 C697.
83.
Equivalents of the axiom of choice / Herman Rubin and Jean E. Rubin. por Series Studies in logic and the foundations of mathematics
Detalles de publicación: Amsterdam : North-Holland, 1963
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 R896e.
84.
The axiom of choice / Thomas J. Jech. por Series Studies in logic and the foundations of mathematics ; v. 75
Detalles de publicación: Amsterdam : North-Holland, 1973
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 J45.
85.
The problem of inductive logic / Edited by Imre Lakatos. por Series Studies in logic and the foundations of mathematics
Detalles de publicación: Amsterdam : North Holland, 1968
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 P962p.
86.
Paradoxes of the infinite / Bernard Bolzano ; translated from the German of the posthumous ed. by Fr. Prihonsky and furnished with a historical introduction by Donald A. Steele. por Series Rare masterpieces of philosophy and scienceIdioma: Inglés Lenguaje original: Alemán
Detalles de publicación: London : Routledge and Kegan Paul, [1950]
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 B649.
87.
Introduction to semantics and formalization of logic / by Rudolf Carnap. por
Detalles de publicación: Cambridge, Mass., Harvard University, 1961
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 C289i.
88.
Gödel's proof / by Ernest Nagel and James Roy Newman. por
Detalles de publicación: [New York] : New York University, 1958
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 N147.
89.
Grundlagen der Mathematik / David Hilbert und Paul Bernays. por Series Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer berücksichtigung der anwendungsgebiete ; Bd. 40, 50
Edición: 2. Aufl.
Detalles de publicación: Berlin : Springer, 1968-70
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: M 03 H641g v.1, ...
90.
Proof theory / Kur Schütte ; translation from the German by J. N. Crossley. por Idioma: Inglés Lenguaje original: Alemán
Detalles de publicación: Berlin : Springer, 1977
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 S396p.
91.
Recursive function theory and logic / Ann Yasuhara. por Series Computer science and applied mathematics
Detalles de publicación: New York : Academic Press, [1971]
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 Y29.
92.
Brains, machines and mathematics / Michael A. Arbib. por
Detalles de publicación: New York : McGraw-Hill, [c1964]
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 68 A664b.
93.
94.
Logic and foundations of mathematics : dedicated to A. Heyting on his 70th birthday. por
Detalles de publicación: Groningen : Wolters-Noordhoff, 1968
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 L832l.
95.
96.
97.
An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities / by George Boole. por Series Dover books on advanced mathematics
Detalles de publicación: New York : Dover, 1960
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 B724.
98.
Sequences... : (what is an infinite decimal?) / John Burr Lennes. por
Detalles de publicación: New York : Vantage Press, 1973
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 L567.
99.
Symbolic logic and the real number system : an introduction to the foundations of number systems / A. H. Lightstone. por Series Harper's series in modern mathematics
Detalles de publicación: New York : Harper & Row, 1965
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 L724.
100.
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)