Merkliste 
 1 Ergebnisse 
 
1

A reunion of Gödel, Tarski, Carnap and Rosser:

Salehi, Saeed
Journal of Logic and Computation.  34 (2023)  6 - p. 1172-1178 , 2023