Merkliste 
 1 Ergebnisse 
 
1

Die Soundness des Prädikatenkalküls auf der Basis der Quine..:

Gumin, Heinz ; Hermes, Hans
Archiv für Mathematische Logik und Grundlagenforschung.  2 (1956)  2-4 - p. 68-77 , 1956