Completeness, compactness, and undercidability : an introduction to mathematical logic /
Autor principal: | Manaster, Alfred B. (Autor, Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Englewood Cliffs, N.J. :
Prentice Hall,
1975.
|
Materias: |
Ejemplares similares
-
A mathematical introduction to logic /
por: Herderton, Herbert B., et al.
Publicado: (1972) -
Introduction to logic and to the methodology of deductive sciences
por: Tarski, Alfred, et al.
Publicado: (1965) -
Foundations of mathematical logic
por: Curry, Haskell B.
Publicado: (1963) -
Introduction to mathematical logic /
por: Mendelson, Elliott 1931-2020, et al.
Publicado: (1964) -
Introduction to mathematical logic /
por: Church, Alonzo n. 1903, et al.
Publicado: (1956)