Información General

• Autores: James Donald Monk Ferreres
• Editores: New York [etc. : Springer-Verlag, 1976
• Año de publicación: 1976
• País: Estados Unidos
• Idioma: inglés
• ISBN: 0-387-90170-1
• Texto completo no disponible (Saber más ...)

Resumen

• From the Introduction: "We shall base our discussion on a set-theoretical foundation like that used in developing analysis, or algebra, or topology. We may consider our task as that of giving a mathematical analysis of the basic concepts of logic and mathematics themselves. Thus we treat mathematical and logical practice as given empirical data and attempt to develop a purely mathematical theory of logic abstracted from these data." There are 31 chapters in 5 parts and approximately 320 exercises marked by difficulty and whether or not they are necessary for further work in the book.

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Índice

• Introduction.- Interdependence of sections.- Recursive Function Theory.- Elements of Logic.- Decidable and Undecidable Theories.- Model Theory.- Unusual Logics.- Index of symbols.- Index of names and definitions.