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

989:-

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

Uppskattad leveranstid 7-12 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 Metamathematics and the Philosophical Tradition

    Metamathematics and the Philosophical...

    Florence S Boos William Boos

    Inbunden

    2619:-
  2. bokomslag Metamathematics of First-Order Arithmetic

    Metamathematics of First-Order Arithm...

    Pavel Pudlak Petr Hajek

    Pocket

    1949:-
  3. bokomslag Mechanism, Mentalism and Metamathematics

    Mechanism, Mentalism and Metamathematics

    J Webb

    Inbunden

    2229:-
  4. bokomslag Metamathematics of Fuzzy Logic

    Metamathematics of Fuzzy Logic

    Petr Hjek

    Inbunden

    2979:-
  5. bokomslag Metamathematics, Machines and Gdel's Proof

    Metamathematics, Machines and Gdel's ...

    N Shankar

    Pocket

    819:-
  6. bokomslag Infinity, Computability and Metamathematics

    Infinity, Computability and Metamathe...

    Stefan Geschke, Benedikt Loewe, Philipp Schlicht

    Inbunden

    459:-
  7. bokomslag Recursion Theory for Metamathematics

    Recursion Theory for Metamathematics

    Raymond M Smullyan

    Inbunden

    3259:-
  8. bokomslag Recursive Functions and Metamathematics

    Recursive Functions and Metamathematics

    Roman Murawski

    Inbunden

    2229:-
  9. bokomslag Introduction to Metamathematics

    Introduction to Metamathematics

    S C Kleene

    Inbunden

    1729:-
  10. bokomslag Introduction to Metamathematics

    Introduction to Metamathematics

    Stephen Cole Kleene

    Häftad

    1079:-

Andra av samma författare

  1. bokomslag Principles of Intuitionism

    Principles of Intuitionism

    Anne S Troelstra

    Pocket

    389:-