Schmidt, A. (1958): Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik


Title: Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
Author(s): Schmidt, A.
Year: 1958
Journal: Mathematische Annalen
Volume: 123

Concepts