-von-Paulson,-Lawrence-C-746679706.jpg "Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)")
Beschreibung
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) von Paulson, Lawrence C. im Online-Buchhandel:
-von-Lawrence-C.-Paulson-297385317.jpg "Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Band 2)")
Bewerte das Buch
- Habe ich gelesen
- Möchte ich noch lesen
- Lieblingsbücher
- Wunschliste
Weitere Bücher von Paulson, Lawrence C.
-(Lecture-Notes-in-Computer-Science,-828,-Band-828)-von-Paulson,-Lawrence-C-731671437.jpg?w=800 "Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 828, Band 828)")
-von-Paul-Wellin-76168153.jpg "Essentials of Programming in Mathematica ®")
-von-Bornschier,-Simon-745866319.jpg "Cleavage Formation in the 21st Century: How Social Identities Shape Voting Behavior in Contexts of Electoral Realignment (Elements in European Politics)")
-von-Thucydides-69765601.jpg "Thucydides: The War of the Peloponnesians and the Athenians: The War of the Peloponnesians and the Athenians, Ausgezeichnet: New Republic Best Book ... Texts in the History of Political Thought)")
-von-Ludvigsson,-David-734582255.jpg "Here and Now at Historic Sites: Pupils and Guides Experiencing Heritage (Cambridge Elements in Critical Heritage Studies)")