Constructibility

Inbunden, Engelska, 2017

Av Keith J. (Lancaster University) Devlin, Keith J. Devlin

2 369 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
This comprehensive account of the theory of constructible sets at an advanced level provides complete coverage of constructibility theory, rather than its many and diverse applications. However, applications are used to motivate and illustrate the theory.

Produktinformation

Mer från samma serie

Subsystems of Second Order Arithmetic

Subsystems of Second Order Arithmetic

Stephen G. (Pennsylvania State University) Simpson, Stephen G. Simpson

889 kr

Proofs and Computations

Proofs and Computations

Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer, Helmut Schwichtenberg, Stanley S. Wainer

1 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 409 kr

Subsystems of Second Order Arithmetic

Subsystems of Second Order Arithmetic

Stephen G. (Pennsylvania State University) Simpson, Stephen G. Simpson

2 559 kr

Pure Inductive Logic

Pure Inductive Logic

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

2 359 kr

Fundamentals of Stability Theory

Fundamentals of Stability Theory

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

2 629 kr

Degrees of Unsolvability

Degrees of Unsolvability

Manuel (University of Connecticut) Lerman, Manuel Lerman

2 029 kr

General Recursion Theory

General Recursion Theory

Jens E. (Universitetet i Oslo) Fenstad, Jens E. Fenstad

2 029 kr

Recursion-Theoretic Hierarchies

Recursion-Theoretic Hierarchies

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

2 629 kr

Model-Theoretic Logics

Model-Theoretic Logics

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

3 439 kr

Du kanske också är intresserad av

Logic and Information

Logic and Information

California) Devlin, Keith (St Mary's College, Keith J. Devlin, Devlin Keith

609 kr

Micro-Maths: Mathematical Problems and Theorems to Consider and Solve on a Computer

Micro-Maths: Mathematical Problems and Theorems to Consider and Solve on a Computer

Keith J. Devlin

319 kr

Sets, Functions and Logic

Sets, Functions and Logic

Keith J. Devlin

709 kr

Logic and Information

Logic and Information

California) Devlin, Keith (St Mary's College, Keith J. Devlin

1 659 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 409 kr

Computable Structure Theory

Computable Structure Theory

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

2 009 kr

Higher Recursion Theory

Higher Recursion Theory

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

2 369 kr

Fundamentals of Stability Theory

Fundamentals of Stability Theory

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

2 629 kr

Essential Stability Theory

Essential Stability Theory

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

2 359 kr

Recursion-Theoretic Hierarchies

Recursion-Theoretic Hierarchies

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

2 629 kr

Tillhör följande kategorier