Pages that link to "Item:Q1214887"
From MaRDI portal
The following pages link to Proceedings of the 3rd Scandinavian logic symposium (Q1214887):
Displayed 4 items.
- Modal operators and functional completeness, II (Q4194933) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- MacNeille completions and canonical extensions (Q5705523) (← links)
- On the construction of stable models of untyped \(\lambda\)-calculus (Q5958611) (← links)