Normalization, Cut-Elimination, and the Theory of Proofs 1
bokomslag Normalization, Cut-Elimination, and the Theory of Proofs
Vetenskap & teknik

Normalization, Cut-Elimination, and the Theory of Proofs

A M Ungar • A M Ungar

Inbunden

589:-

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

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

  • 248 sidor
  • 1900
  • Författare: A M Ungar, A M Ungar
  • Format: Inbunden
  • ISBN: 9780937073834
  • Språk: Engelska
  • Antal sidor: 248
  • Utgivningsdatum: 1900-01-01
  • Förlag: Center for the Study of Language and Informat

Du kanske gillar

  1. bokomslag Methods of Cut-Elimination

    Methods of Cut-Elimination

    Alexander Leitsch Matthias Baaz

    1439:-
  2. bokomslag Methods of Cut-Elimination

    Methods of Cut-Elimination

    Alexander Leitsch Matthias Baaz

    Inbunden

    1439:-
  3. bokomslag True Prosperity: More than Conquerors

    True Prosperity: More than Conquerors

    Jim Mungar

    Häftad

    289:-
  4. bokomslag Homeowner Survival Guide - the Housing Bubble

    Homeowner Survival Guide - the Housin...

    Andrew C Mungar

    369:-
  5. bokomslag Analytic Hyperbolic Geometry And Albert Einstein's Special Theory Of Relativity

    Analytic Hyperbolic Geometry And Albe...

    Abraham Albert Ungar Abraham Albert U...

    Inbunden

    4769:-
  6. bokomslag Policing Democracy

    Policing Democracy

    Mark Ungar Mark Ungar

    509:-
  7. bokomslag Sustaining Human Rights in the Twenty-First Century

    Sustaining Human Rights in the Twenty...

    Katherine Hite, Mark Ungar, Katherine Hite, Mark Ungar

    Inbunden

    979:-
  8. bokomslag Yellowface (svensk utgåva)

    Yellowface (svensk utgåva)

    R F Kuang

    Pocket

    125:-
  9. Ny
    bokomslag Styrka i klimakteriet : optimera träningen, maten och måendet

    Styrka i klimakteriet : optimera trän...

    Olga Rönnberg

    Inbunden

    329:-
  10. bokomslag Stacken

    Stacken

    Annika Norlin

    Pocket

    115:-