TY - BOOK AU - Kung Guido TI - Ontologie und logistische analysis der sprache U1 - 164=3 PY - 1963/// CY - Wien PB - Springer-Verlag KW - Mathematical logic KW - Symbolic ER -