Introduction to Proof Theory : Normalization, Cut-elimination, and Consistency Proofs

Mancosu, Paolo; Galvan, Sergio; Zach, Richard

ISBN 10: 019289594X ISBN 13: 9780192895943
Edité par Oxford University Press, 2021
Langue: anglais
Neuf(s) Etat : New Couverture souple

Vendeur GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 6 avril 2009

Afficher tous les articles du vendeur


Neuf(s) - Couverture souple

Prix: EUR 40,01 Autre devise
EUR 17,37 expédition depuis Etats-Unis vers France Destinations, frais et délais

Quantité disponible : 5 disponible(s)

Ajouter au panier