Perspectives in Logic

Authors: Henk Barendregt, Jon Barwise, Keith Devlin, Jens Erik Fenstad, John Templeton Baldwin

Related Series: Cambridge Tracts in Theoretical Computer Science

The Perspectives in Logic book series by multiple authors includes books Lambda Calculus with Types, Proofs and Computations, Subsystems of Second Order Arithmetic, and several more. See the complete Perspectives in Logic series book list in order, box sets or omnibus editions, and companion titles.

16 Books

Lambda Calculus with Types

Wil Dekkers, Richard Statman, Henk Barendregt

From $97.17

Proofs and Computations

Stanley S. Wainer, Helmut Schwichtenberg, Stanley S Wainer

From $90.79

Subsystems of Second Order Arithmetic

Stephen G. Simpson

From $62.99

Fundamentals of Stability Theory

John Templeton Baldwin

From $175.44

Degrees of Unsolvability: Local and Global Theory (Springer Series in Information Sciences)

Manuel Lerman

From $137.49

General Recursion Theory: An Axiomatic Approach (Perspectives in Mathematical Logic)

Jens Erik Fenstad

From $137.49

Recursion-Theoretic Hierarchies

P. G. Hinman

From $175.66

Model-Theoretic Logics

From $236.68

Admissible Sets and Structures

Jon Barwise

From $154.76

Constructibility

Keith Devlin

From $159.45

Proper and Improper Forcing

Saharon Shelah

From $208.17

Computability in Analysis and Physics (Perspectives in Mathematical Logic)

J. Ian Richards, Marian B. Pour-El, J. Ian Richards Marian B. Pour-El

From $137.49

Higher Recursion Theory

Gerald E. Sacks

From $159.45

Pure Inductive Logic

Alena Vencovska, Jeffrey Paris

From $154.43

Essential Stability Theory

Steven Buechler

From $154.76

Metamathematics of First-Order Arithmetic

Pavel Pudlák, Petr Hájek

From $175.66

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks^® and the ThriftBooks^® logo are registered trademarks of Thrift Books Global, LLC

Perspectives in Logic

Lambda Calculus with Types

Proofs and Computations

Subsystems of Second Order Arithmetic

Fundamentals of Stability Theory

Degrees of Unsolvability: Local and Global Theory (Springer Series in Information Sciences)

General Recursion Theory: An Axiomatic Approach (Perspectives in Mathematical Logic)

Recursion-Theoretic Hierarchies

Model-Theoretic Logics

Admissible Sets and Structures

Constructibility

Proper and Improper Forcing

Computability in Analysis and Physics (Perspectives in Mathematical Logic)

Higher Recursion Theory

Pure Inductive Logic

Essential Stability Theory

Metamathematics of First-Order Arithmetic

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us