Peter G. Hinman – författare
Visar alla böcker från författaren Peter G. Hinman. Handla med fri frakt och snabb leverans.
5 produkter
Recursion-Theoretic Hierarchies
Inbunden, 2017
2550 kr
Lägg i varukorg
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. The theory set out in this volume, the ninth …
Fundamentals of Mathematical Logic
E-bok, 2018
1939 kr
Lägg i varukorg
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel''s Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author''s more than 35 years of …
Fundamentals of Mathematical Logic
E-bok, 2018
1939 kr
Lägg i varukorg
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel''s Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author''s more than 35 years of …
Fundamentals of Mathematical Logic
Inbunden, 2005
1832 kr
Lägg i varukorg
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching …
Ω-Bibliography of Mathematical Logic
Recursion Theory
Häftad, 2013
552 kr
Lägg i varukorg
Gert H. Muller The growth of the number of publications in almost all scientific areas,* as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica- tion, specialization and …