Catálogo Bibliográfico
Búsqueda por
tema:
Logic, Symbolic and mathematical.
| 1. | Aspectos de la lógica modal. / David Clement Makinson. | 1971 | Libro |
510.6
M289 |
| 2. | Éléments de logique mathématique : théorie des modèles / [par] G. Kreisel... J. L. Krivine. | 1967 | Libro |
510.6
K876 |
| 3. | Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs / Jean Porte. | 1965 | Libro |
510.6
P833 |
| 4. | Foundations of mathematical logic. / Haskell B. Curry. | 1963 | Libro |
510.6
C937 |
| 5. | Einführung in die operative Logik und Mathematik. / Paul Lorenzen. | 1955 | Libro |
510.6
L887 |
| 6. | Principles of mathematical logic / by D. Hilbert and Wilhelm Ackermann ; translated from the German by Lewis M. Hammond, George G. Leckie [and] F. Steinhardt ; edited and with notes by Robert E. Luce. | 1950 | Libro |
510.6
H542 |
| 7. | Grundzüge der theoretischen Logik / [von] David Hilbert und Wilhelm Ackermann. — 3, verb. Aufl. | 1949 | Libro |
510.6
H542 a Ed.3 |
| 8. | Elements of symbolic logic / Hans Reichenbach. | 1947 | Libro |
510.6
R272 |
| 9. | Grundzüge der theoretischen Logik / von David Hilbert und Wilhelm.Ackermann. — 2, verb. Aufl. | 1946 | Libro |
510.6
H542 a Ed.2 |
Búsqueda simple por palabras
Explorar índices alfabéticos
Búsqueda avanzada (combinando palabras en distintos campos)
Búsqueda en Catálogo CAC-CAE-SDIL (Enlace a Bibliotecas CNEA)
Recorrer el catálogo completo
(por orden de ubicación del material)
Búsqueda INIS
Este catálogo cuenta con
18.630 registros,
y fue actualizado el 05/07/2024 a las 02:36
OPACMARC
2008.12.01
· Desarrollado en la Biblioteca Dr. Antonio Monteiro, Instituto de Matemática de
Bahía Blanca (CONICET/UNS).
Este módulo integra el Sistema 