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

Mancosu, Paolo; Galvan, Sergio; Zach, Richard

ISBN 10: 0192895931 ISBN 13: 9780192895936
Edité par Oxford University Press, 2021
Langue: anglais
Ancien(s) ou d'occasion Etat : As New Couverture rigide

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


Ancien(s) ou d'occasion - Couverture rigide

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

Quantité disponible : 8 disponible(s)

Ajouter au panier