Richard Zach
Articles populaires de Richard Zach
Afficher toutes les offres-
Incompleteness and Computability: An Open Introduction to Gödel's Theorems
Zach, Richard
Prix des articles à partir de
Afficher les 4 offresEUR 5,38
-
Boxes and Diamonds: An Open Introduction to Modal Logic
Zach, Richard
Prix des articles à partir de
Afficher les 2 offresEUR 8,79
-
Sets, Logic, Computation: An Open Introduction to Metalogic
Zach, Richard
Prix des articles à partir de
Afficher les 5 offresEUR 10,09
-
forall x: Calgary: An Introduction to Formal Logic
Magnus, P. D.; Button, Tim; Thomas-Bolduc, Aaron; Zach, Richard; Trueman, Robert
Prix des articles à partir de
Afficher les 3 offresEUR 16,78
Rechercher également
Ancien ou d'occasion -
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Mancosu, Paolo; Galvan, Sergio; Zach, Richard
Prix des articles à partir de
Afficher les 32 offresEUR 39,12
-
Introduction à la théorie de la démonstration: Élimination des coupures, normalisation et preuves de cohérence
Galvan, Sergio; Mancosu, Paolo; Zach, Richard; Collectif
Prix des articles à partir de
Afficher les 5 offresEUR 53,67
