Proof and Consequence : An Introduction to Classical Logic with S

Proof and Consequence: An Introduction to Classical Logic by Jennings, Ray,Fried

Proof and Consequence: An Introduction to Classical Logic - Paperback - GOOD

Proof and Consequence: An Introduct..., Friedrich, Nico

Foundations of analysis With an introduction to logic and set theory

1956 Intuitionism: An Introduction – A. Heyting – Studies in Logic...

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (,