Merkliste 
 1 Ergebnisse 
 
1

A New Proof of the McKinsey–Tarski Theorem:

Bezhanishvili, G. ; Bezhanishvili, N. ; Lucero-Bryan, J..
Studia Logica: An International Journal for Symbolic Logic.  106 (2018)  6 - p. 1291-1311 , 2018