Oxford Logic Guides

1 total work

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45.

by Professor of Logic & Computation David J Pym and Lecturer in Computer Science Eike Ritter

Published 1 January 2004