Prädikatenlogik ohne gebundene Variablen
By: Jürgen Bartnick.
Series: Europäische Hochschulschriften. Reihe XX, Philosophie ;; Bd. 61 =; Publications universitaires européennes. Série XX, Philosophie ;; vol. 61 =; European university studies. Series XX, Philosophy ;; vol. 61; Europäische Hochschulschriften.; Bd. 61.
Publisher: P. Lang
Published: 1980
Place of publication: Frankfurt am Main
Language: ger
Number of pages: 84
Subjects: Logic, Symbolic and mathematical.; Cylindric algebras.; Combinatory logic.
Notes: Bibliography: p. 78-80.
Includes index.