Pages that link to "Item:Q1234672"
From MaRDI portal
The following pages link to On the equivalence of systems of rules and systems of axioms in illative combinatory logic (Q1234672):
Displayed 2 items.
The following pages link to On the equivalence of systems of rules and systems of axioms in illative combinatory logic (Q1234672):
Displayed 2 items.