Pages that link to "Item:Q2811650"
From MaRDI portal
The following pages link to On the definitional embeddability of the combinatory logic theory into the first-order predicate calculus (Q2811650):
Displaying 2 items.
The following pages link to On the definitional embeddability of the combinatory logic theory into the first-order predicate calculus (Q2811650):
Displaying 2 items.