Reductive Logic and Proof-search: Proof Theory, Semantics, and Control
ISBN: 9780191712012
Platform/Publisher: Oxford Academic / Oxford University Press
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited
Subjects: Mathematics;

No description is available.


hidden image for function call