1 299 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of proof theory in both classical and constructive arithmetics, up to finitely iterated inductive definitions. Deep connections with computability, complexity and program extraction form the principal themes.

Produktinformation

  • Utgivningsdatum2011-12-15
  • Mått233 x 158 x 29 mm
  • Vikt884 g
  • FormatInbunden
  • SpråkEngelska
  • SeriePerspectives in Logic
  • Antal sidor480
  • FörlagCambridge University Press
  • ISBN9780521517690

Tillhör följande kategorier

Du kanske också är intresserad av

Admissible Sets and Structures
Del 7

Admissible Sets and Structures

Jon Barwise, Madison) Barwise, Jon (University of Wisconsin

2 309 kr

Lambda Calculus with Types

Lambda Calculus with Types

Henk (Radboud Universiteit Nijmegen) Barendregt, Wil (Radboud Universiteit Nijmegen) Dekkers, Richard Statman, Henk Barendregt, Wil Dekkers

1 399 kr

Computable Structure Theory

Computable Structure Theory

Antonio Montalbán, Berkeley) Montalban, Antonio (University of California

1 969 kr

Higher Recursion Theory

Higher Recursion Theory

Massachusetts) Sacks, Gerald E. (Harvard University, Gerald E. Sacks

2 349 kr

Fundamentals of Stability Theory

Fundamentals of Stability Theory

Chicago) Baldwin, John T. (University of Illinois, John T. Baldwin

2 609 kr

Essential Stability Theory

Essential Stability Theory

Indiana) Buechler, Steven (University of Notre Dame, Steven Buechler

2 309 kr

Recursion-Theoretic Hierarchies

Recursion-Theoretic Hierarchies

Ann Arbor) Hinman, Peter G. (University of Michigan, Peter G. Hinman

2 609 kr

Proper and Improper Forcing

Proper and Improper Forcing

Saharon (Hebrew University of Jerusalem) Shelah, Saharon Shelah

3 109 kr

Model-Theoretic Logics

Model-Theoretic Logics

California) Barwise, J. (Stanford University, California) Feferman, S. (Stanford University, J. Barwise, S. Feferman

3 409 kr

Pure Inductive Logic

Pure Inductive Logic

Jeffrey (University of Manchester) Paris, Alena (University of Manchester) Vencovska, Jeffrey Paris, Alena Vencovská

2 309 kr