Proof, Logic and Formalization
Publisher: Routledge
Published: 1992
Language: eng
ISBN-13: 9781280109867
Subjects: Proof theory; Logic, symbolic and mathematical