Cover Image
Read Now

1
by Troelstra, A. S.
Published 1988
North-Holland
Table of Contents: “... counterexamples; 4. A brief history of constructivism; 5. Notes; Exercises; Chapter 2 Logic; 1. Natural deduction...”