Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)

Theoretical

by Dag Prawitz

Paperback

details (USA).

ISBN: 978-0-486-44655-4

ISBN-10: 0-486-44655-7

Dover Publications · 2006