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 9,22
-
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 4 offresEUR 8,30
-
Boxes and Diamonds: An Open Introduction to Modal Logic
Zach, Richard
Prix des articles à partir de
Afficher les 2 offresEUR 11,08
-
Sets, Logic, Computation: An Open Introduction to Metalogic
Zach, Richard
Prix des articles à partir de
Afficher les 4 offresEUR 11,52
-
forall x: Calgary: An Introduction to Formal Logic
Magnus, P. D.; Button, Tim; Trueman, Robert; Zach, Richard
Prix des articles à partir de
Afficher les 3 offresEUR 14,68
-
An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs
Mancosu, Paolo; Galvan, Sergio; Zach, Richard
Prix des articles à partir de
Afficher les 21 offresEUR 35,01
-
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 3 offresEUR 40,61
