Mathematical logic and formalized theories : a survey of basic concepts and results /

Mathematical Logic and Formalized Theories.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Rogers, Robert, 1926- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam : North-Holland, [1974, 1971]
Temas:
Logic, Symbolic and mathematical.
Logique symbolique et math�ematique.
MATHEMATICS > General.
Logic, Symbolic and mathematical
Mathematische Logik
Formalisierte Theorie.
Acceso en línea:Texto completo
Descripción
Sumario:Mathematical Logic and Formalized Theories.
Descripción Física:1 online resource (xi, 235 pages)
Bibliografía:Includes bibliographical references and indexes.
ISBN:9781483257976
1483257975

Ejemplares similares