View of On the Definitional Embeddability of the Combinatory Logic Theory into the First-Order Predicate Calculus

Return to Article Details On the Definitional Embeddability of the Combinatory Logic Theory into the First-Order Predicate Calculus Download Download PDF