Building Proofs
Subtitle: A Practical Guide
Publisher: World Scientific Publishing Co Pte Ltd
Published: 2015
Language: eng
ISBN-13: 9789814641296
Subjects: Proof theory; Logic, symbolic and mathematical; Mathematics