Pages that link to "Item:Q750411"
From MaRDI portal
The following pages link to On comparison of theories by their contents (Q750411):
Displaying 4 items.
- Foundations for the formalization of metamathematics and axiomatizations of consequence theories (Q598315) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 (Q3138023) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
