Metamathematical Investigation of Intuitionistic Arithmetic and Analysis 1
bokomslag Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Vetenskap & teknik

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Anne S Troelstra

Pocket

1229:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 488 sidor
  • 1973
Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees and ordinals.- Erratum.

  • Författare: Anne S Troelstra
  • Format: Pocket/Paperback
  • ISBN: 9783540064916
  • Språk: Engelska
  • Antal sidor: 488
  • Utgivningsdatum: 1973-11-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Principles of Intuitionism

    Principles of Intuitionism

    Anne S Troelstra

    Pocket

    519:-
  2. bokomslag Basic Proof Theory

    Basic Proof Theory

    Troelstra, Anne S;Troelstra, A S;Schwich

    Pocket

    619:-
  3. bokomslag Metamathematics and the Philosophical Tradition

    Metamathematics and the Philosophical...

    Florence S Boos William Boos

    Inbunden

    2599:-
  4. bokomslag Constructivism in Mathematics, Vol 2

    Constructivism in Mathematics, Vol 2

    A S Troelstra

    Inbunden

    1109:-
  5. bokomslag Metamathematics of First-Order Arithmetic

    Metamathematics of First-Order Arithm...

    Pavel Pudlak Petr Hajek

    Pocket

    2439:-
  6. bokomslag Constructivism in Mathematics, Vol 1

    Constructivism in Mathematics, Vol 1

    A S Troelstra

    Inbunden

    979:-
  7. bokomslag Lectures on Linear Logic

    Lectures on Linear Logic

    Anne Sjerp Troelstra

    Pocket

    419:-
  8. bokomslag Mechanism, Mentalism and Metamathematics

    Mechanism, Mentalism and Metamathematics

    J Webb

    Inbunden

    2869:-
  9. bokomslag Metamathematics of Fuzzy Logic

    Metamathematics of Fuzzy Logic

    Petr Hjek

    Inbunden

    3969:-
  10. bokomslag Metamathematics, Machines and Gdel's Proof

    Metamathematics, Machines and Gdel's ...

    N Shankar

    Pocket

    809:-

Andra av samma författare

  1. bokomslag Principles of Intuitionism

    Principles of Intuitionism

    Anne S Troelstra

    Pocket

    519:-