Model-Theoretic Logics

• Hardcover | Engels | Perspectives in Logic | nr. 8
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

Subsystems of Second Order Arithmetic

Stephen G Simpson

• Paperback | Engels | Perspectives in Logic
• Foundations of mathematics is the study of the most basic concepts and logical structure of mathematics, with an eye to the unity of human knowledge. ... Lees meer

Pure Inductive Logic

Jeffrey Paris, Alena Vencovská

• Hardcover | Engels | Perspectives in Logic
• Pure inductive logic is the study of rational probability treated as a branch of mathematical logic. This monograph, the first devoted to this approac... Lees meer

Metamathematics of First-Order Arithmetic

Petr Hájek, Pavel Pudlák

• Hardcover | Engels | Perspectives in Logic | nr. 3
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

Degrees of Unsolvability

Manuel Lerman

• Hardcover | Engels | Perspectives in Logic | nr. 11
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

General Recursion Theory

Jens E Fenstad

• Hardcover | Engels | Perspectives in Logic | nr. 10
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

Fundamentals of Stability Theory

John T Baldwin

• Hardcover | Engels | Perspectives in Logic | nr. 12
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

Computable Structure Theory

Antonio Montalbán

• Hardcover | Engels | Perspectives in Logic
• In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than ot... Lees meer

Admissible Sets and Structures

Jon Barwise

• Hardcover | Engels | Perspectives in Logic | nr. 7
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

Proofs and Computations

Helmut Schwichtenberg, Stanley S Wainer

• Hardcover | Engels | Perspectives in Logic
• Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and ... Lees meer

Lambda Calculus with Types

Henk Barendregt, Wil Dekkers, Richard Statman

• Hardcover | Engels | Perspectives in Logic
• This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical be... Lees meer

Higher Recursion Theory

Gerald E Sacks

• Hardcover | Engels | Perspectives in Logic | nr. 2
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

Logical Foundations of Proof Complexity

Stephen Cook, Phuong Nguyen

• Hardcover | Engels | Perspectives in Logic
• This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters in... Lees meer

Computability in Analysis and Physics

Marian B Pour-El, J Ian Richards

• Hardcover | Engels | Perspectives in Logic | nr. 1
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

Recursion-Theoretic Hierarchies

Peter G Hinman

• Hardcover | Engels | Perspectives in Logic | nr. 9
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

Constructibility

Keith J Devlin

• Hardcover | Engels | Perspectives in Logic | nr. 6
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

Subsystems of Second Order Arithmetic

Stephen G Simpson

• Hardcover | Engels | Perspectives in Logic
• Foundations of mathematics is the study of the most basic concepts and logical structure of mathematics, with an eye to the unity of human knowledge. ... Lees meer

Proper and Improper Forcing

Saharon Shelah

• Hardcover | Engels | Perspectives in Logic | nr. 5
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

Essential Stability Theory

Steven Buechler

• Hardcover | Engels | Perspectives in Logic | nr. 4
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer