Browsing (1955) Volumen 03. Número 9 by Author "Christian, Curt"
Now showing items 1-3 of 3
-
A proof of the inconsistency of Quine's system "Mathematical Logic (1951)"
Christian, Curt (Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1955)... -
Die Elimination des Unendlichkeitstheorems in einem intensionalen Kalkül
Christian, Curt (Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1955)... -
Zwei Theoreme über die Einerklasse
Christian, Curt (Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1955)...