Pages that link to "Item:Q266237"
From MaRDI portal
The following pages link to A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic (Q266237):
Displaying 3 items.