Combinatory Logic -- Pure, Applied, and Typed

by Katalin Bimbó · 1 review · 2013

Reviewed by	Journal	Date	Access

Also by Bimbó

Proof Theory: Sequent Calculi and Related Formalisms (1 review)
Relational semantics of nonclassical logical calculi. CSLI Lecture Notes, no. 188 Katalin Bimbó J. Michael Dunn (1 review)

Search PhilReviews for this title