This image is currently not available.

Reductive Logic and Proof-Search

Proof Theory, Semantics, and Control
Oxford University Press, USA
Published on 1. September 2007
Software
Other digital
978-0-19-171201-2 (ISBN)
€184.16incl. 19% vat
Article not available

More details

Persons