Perspectives in Logic – serie
Visar alla böcker i serien Perspectives in Logic. Handla med fri frakt och snabb leverans.
19 produkter
Subsystems of Second Order Arithmetic
Häftad, 2010
878 kr
Lägg i varukorg
Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as algebra, analysis, and …
Proofs and Computations
Av Helmut Schwichtenberg, Stanley S. Wainer
Inbunden, 2011
5,0 utav 5 stjärnor. Totalt antal röster: (1)
1078 kr
Lägg i varukorg
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I …
Lambda Calculus with Types
Av Henk Barendregt, Wil Dekkers m. fl.
Inbunden, 2013
1400 kr
Lägg i varukorg
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the …
Subsystems of Second Order Arithmetic
Inbunden, 2009
2524 kr
Lägg i varukorg
Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as algebra, analysis, and …
Pure Inductive Logic
Av Jeffrey Paris, Alena Vencovská
Inbunden, 2015
2312 kr
Lägg i varukorg
Pure inductive logic is the study of rational probability treated as a branch of mathematical logic. This monograph, the first devoted to this approach, brings together the key results from the past seventy years plus the main contributions of the authors and their collaborators over the last …
Fundamentals of Stability Theory
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. In this volume, the twelfth publication in the …
Degrees of Unsolvability
Local and Global Theory
Inbunden, 2017
1987 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. In this volume, the eleventh publication in the …
General Recursion Theory
An Axiomatic Approach
Inbunden, 2017
1987 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. In this volume, the tenth publication in the …
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 …
Model-Theoretic Logics
Inbunden, 2017
3331 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. This volume, the eighth publication in the …
Admissible Sets and Structures
Av Jon Barwise
Inbunden, 2017
2312 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. Admissible set theory is a major source of …
Constructibility
Inbunden, 2017
2345 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. In this volume, the sixth publication in the …
Proper and Improper Forcing
Inbunden, 2017
3083 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. This volume, the fifth publication in the …
Essential Stability Theory
Inbunden, 2017
2312 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. Stability theory was introduced and matured in the …
Metamathematics of First-Order Arithmetic
Av Petr Hájek, Pavel Pudlák
Inbunden, 2017
2606 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. This volume, the third publication in the …
Higher Recursion Theory
Inbunden, 2017
2345 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. This volume, the second publication in the …
Computability in Analysis and Physics
Av Marian B. Pour-El, J. Ian Richards
Inbunden, 2017
1987 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. In this volume, the first publication in the …
Computable Structure Theory
Within the Arithmetic
Inbunden, 2021
1970 kr
Lägg i varukorg
In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than others. Computable structure theory quantifies and studies the complexity of mathematical structures, structures such as graphs, groups, and orderings. …
Computable Structure Theory
Beyond the Arithmetic
Inbunden, 2026
1889 kr
Lägg i varukorg
Computable structure theory quantifies and studies the relative complexity of mathematical structures. This text, in conjunction with the author's previous volume, represents the first full monograph on computable structure theory in two decades. It brings new results of the author together with …
