An Introduction to Proof Theory: Normalization, Cut Elimination, and Consistency Proofs

Prezzi da
39,18

In evidenza

CONFRONTA TUTTI I WEBSHOP (2)

Descrizione

An Introduction to Proof Theory: Normalization, Cut Elimination, and Consistency Proofs

Description Descrizione
Product Specifications Specifiche del prodotto
Risultati correlati Risultati correlati
Next
Previous

Confronta i webshop (2)

Shop
Prezzo
Amazon Logo
39,18 €
Vai allo shop
Amazon Marketplace Logo
39,18 €
Vai allo shop
Descrizione (0)

An Introduction to Proof Theory: Normalization, Cut Elimination, and Consistency Proofs

Specifiche del prodotto

Marchio OUP Oxford
EAN
  • 9780192895943

North-Holland

Set Theory An Introduction To Independence Proofs

54,95 €
Confronta 2 negozi 2 negozi

Cambridge University Press

Type Theory and Formal Proof: An Introduction

86,70 €
Più informazioni Maggiori info

Cambridge University Press

Introduction to Proofs and Proof Strategies (Cambridge Mathematical Textbooks) (English Edition)

31,44 €
Confronta 2 negozi 2 negozi

North-Holland

Set Theory An Introduction To Independence Proofs (ISSN Book 102) (English Edition)

40,00 €
Confronta 2 negozi 2 negozi
Scelta in evidenza
39,18 €
Vai allo shop