Reductive Logic and Proof-Search

Proof Theory, Semantics, and Control

David J Pym, Lecturer in Computer Science Eike Ritter (Autoren)

Online Resource

2007
Oxford University Press, USA (Hersteller)
978-0-19-171201-2 (ISBN)

Produkt-Details

• Erscheint lt. Verlag: 1.9.2007
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-10: 0-19-171201-9 / 0191712019
• ISBN-13: 978-0-19-171201-2 / 9780191712012
• Zustand: Neuware