Lectures on Linear Logic

by A.S. Troelstra · 2 reviews · 1993

Reviewed by	Journal	Date	Access
Alasdair Urquhart	Canadian Philosophical Reviews	1993-06-01	—
Alasdair Urquhart	Philosophy in Review	1993-01-01	Open

Metaphysics & Logic Epistemology & Philosophy of Mind

Also by Troelstra

Choice sequences. A chapter of intuitionistic mathematics (2 reviews)
Basic Proof Theory A. S. Troelstra H. Schwichtenberg (1 review)
Constructivism in Mathematics (1 review)
Constructivism in Mathematics, V1 (1 review)
Constructivism in Mathematics, V2 (1 review)
Principles of intuitionism (1 review)

Search PhilReviews for this title