Kurt Godel and the Foundations of Mathematics 1
bokomslag Kurt Godel and the Foundations of Mathematics
Vetenskap & teknik

Kurt Godel and the Foundations of Mathematics

Matthias Baaz • Christos H Papadimitriou • Hilary W Putnam

Pocket

1059:-

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:-

  • 540 sidor
  • 2013
  • Författare: Matthias Baaz, Christos H Papadimitriou, Hilary W Putnam
  • Format: Pocket/Paperback
  • ISBN: 9781107677999
  • Språk: Engelska
  • Antal sidor: 540
  • Utgivningsdatum: 2013-10-17
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Kurt Gödel and the Foundations of Mathematics

    Kurt Gödel and the Foundations of Mat...

    Matthias Baaz, Christos H Papadimitriou, Hilary W Putnam, Dana S Scott, Jr Harper Charles L

    Inbunden

    1929:-
  2. bokomslag Philosophical Papers

    Philosophical Papers

    Hilary Putman, Hilary Putnam, Putnam Hilary

    Pocket

    489:-
  3. bokomslag Logicomix

    Logicomix

    Christos H Papadimitriou Apostolos Do...

    Danskband/flex

    289:-
  4. bokomslag Philosophical Papers

    Philosophical Papers

    Hilary Putman, Hilary Putnam, Hilary Putnam

    Pocket

    499:-
  5. bokomslag Methods of Cut-Elimination

    Methods of Cut-Elimination

    Alexander Leitsch Matthias Baaz

    1429:-
  6. bokomslag Limits of Europeanization

    Limits of Europeanization

    D Papadimitriou K Featherstone

    Inbunden

    729:-
  7. bokomslag Philosophical Papers

    Philosophical Papers

    Hilary Putnam, Hilary Putnam, Putnam Hilary

    Pocket

    529:-
  8. bokomslag Logic Colloquium '01

    Logic Colloquium '01

    Matthias Baaz, Sy-David Friedman, Jan Krajícek

    Pocket

    559:-
  9. bokomslag Advances in Data Analysis

    Advances in Data Analysis

    Christos H Skiadas Christos H Skiadas

    Inbunden

    2409:-
  10. bokomslag Algorithms

    Algorithms

    Sanjoy Dasgupta, Christos Papadimitriou, Umesh Vazirani, Christos H Papadimitriou

    Pocket

    1089:-

Andra av samma författare

  1. bokomslag Logicomix

    Logicomix

    Christos H Papadimitriou Apostolos Do...

    Danskband/flex

    289:-
  2. bokomslag Algorithms

    Algorithms

    Sanjoy Dasgupta, Christos Papadimitriou, Umesh Vazirani, Christos H Papadimitriou

    Pocket

    1089:-
  3. bokomslag Turing (A Novel about Computation)

    Turing (A Novel about Computation)

    Christos H Papadimitriou

    569:-
  4. bokomslag Combinatorial Optimization

    Combinatorial Optimization

    Christos H Papadimitriou

    Pocket

    319:-
  5. bokomslag Kurt Gödel and the Foundations of Mathematics

    Kurt Gödel and the Foundations of Mat...

    Matthias Baaz, Christos H Papadimitriou, Hilary W Putnam, Dana S Scott, Jr Harper Charles L

    Inbunden

    1929:-
  6. bokomslag Logic Colloquium '01

    Logic Colloquium '01

    Matthias Baaz, Sy-David Friedman, Jan Krajícek

    Inbunden

    959:-
  7. bokomslag Logic Colloquium '01

    Logic Colloquium '01

    Matthias Baaz, Sy-David Friedman, Jan Krajícek

    Pocket

    559:-
  8. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Matthias Baaz

    Pocket

    749:-
  9. bokomslag Computer Science Logic

    Computer Science Logic

    Johann M Makowsky Matthias Baaz

    Pocket

    1429:-
  10. bokomslag Methods of Cut-Elimination

    Methods of Cut-Elimination

    Alexander Leitsch Matthias Baaz

    Inbunden

    1429:-