Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control (Oxford Logic Guides)

Semantics

by: David J. Pym · Eike Ritter

Hardcover

ISBN: 978-0-19-852633-9

ISBN-10: 0-19-852633-4

OUP Oxford · 2004