Pages that link to "Item:Q1342557"
From MaRDI portal
The following pages link to Deductive inference by the use of necessary and sufficient deducibility conditions in the calculus of first-order predicate (Q1342557):
Displaying 2 items.