Advances in Proof Theory 1
bokomslag Advances in Proof Theory
Filosofi & religion

Advances in Proof Theory

Reinhard Kahle • Thomas Studer • Thomas Strahm

Inbunden

1429:-

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

Andra format:

  • 440 sidor
  • 2016
  • Författare: Reinhard Kahle, Thomas Studer, Thomas Strahm
  • Format: Inbunden
  • ISBN: 9783319291963
  • Språk: Engelska
  • Antal sidor: 440
  • Utgivningsdatum: 2016-05-12
  • Förlag: Springer International Publishing

Du kanske gillar

  1. bokomslag Advances in Proof Theory

    Advances in Proof Theory

    Reinhard Kahle, Thomas Strahm, Thomas Studer

    1429:-
  2. bokomslag Logics of Proofs and Justifications

    Logics of Proofs and Justifications

    Thomas Studer Roman Kuznets

    Pocket

    339:-
  3. bokomslag Mathesis Universalis, Computability and Proof

    Mathesis Universalis, Computability a...

    Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M Schuster

    Pocket

    1719:-
  4. bokomslag Logic, Language, Information, and Computation

    Logic, Language, Information, and Com...

    George Metcalfe, Thomas Studer, Ruy De Queiroz, Ruy De Queiroz

    Pocket

    1089:-
  5. bokomslag Gentzen's Centenary

    Gentzen's Centenary

    Michael Rathjen Reinhard Kahle

    Pocket

    2139:-
  6. bokomslag Legacy of Kurt Schütte

    Legacy of Kurt Schütte

    Michael Rathjen Reinhard Kahle

    Pocket

    1719:-
  7. bokomslag Mathesis Universalis, Computability and Proof

    Mathesis Universalis, Computability a...

    Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M Schuster

    Inbunden

    1719:-
  8. bokomslag Intensionality

    Intensionality

    Reinhard Kahle

    Pocket

    899:-
  9. bokomslag Legacy of Kurt Schütte

    Legacy of Kurt Schütte

    Michael Rathjen Reinhard Kahle

    Inbunden

    1719:-
  10. bokomslag Proof Theory in Computer Science

    Proof Theory in Computer Science

    Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk

    Pocket

    729:-

Andra av samma författare

  1. bokomslag Intensionality

    Intensionality

    Reinhard Kahle

    Inbunden

    2049:-
  2. bokomslag Intensionality

    Intensionality

    Reinhard Kahle

    Pocket

    899:-
  3. bokomslag Logics of Proofs and Justifications

    Logics of Proofs and Justifications

    Thomas Studer Roman Kuznets

    Pocket

    339:-
  4. bokomslag Legacy of Kurt Schütte

    Legacy of Kurt Schütte

    Michael Rathjen Reinhard Kahle

    Inbunden

    1719:-
  5. bokomslag Legacy of Kurt Schütte

    Legacy of Kurt Schütte

    Michael Rathjen Reinhard Kahle

    Pocket

    1719:-
  6. bokomslag Axiomatic Thinking I

    Axiomatic Thinking I

    Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga

    Inbunden

    1299:-
  7. bokomslag Axiomatic Thinking I

    Axiomatic Thinking I

    Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga

    Pocket

    1299:-
  8. bokomslag Axiomatic Thinking II

    Axiomatic Thinking II

    Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga

    Inbunden

    1429:-
  9. bokomslag Axiomatic Thinking II

    Axiomatic Thinking II

    Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga

    Pocket

    1429:-
  10. bokomslag Logic, Language, Information, and Computation

    Logic, Language, Information, and Com...

    George Metcalfe, Thomas Studer, Ruy De Queiroz, Ruy De Queiroz

    Pocket

    1089:-