Fundamentals of Logic and Computation Zhe Hou
64,19 €
Titel: Fundamentals of Logic and Computation, Untertitel: With Practical Automated Reasoning and Verification, Einband: Taschenbuch, Autor: Zhe Hou, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 232, Maße: 235x155x13 mm, Gewicht: 359 g, Verkäufer: buch-mimpf, Schlagworte: Curry-Howard Correspondence Non-Classical Logics Propositional Logic automata theory computability first-order logic formal languages natural deduction proof theory sequent calculus.
Jetzt bei Ebay:
