Reduktionstypen der Prädikatenlogik : nach einer einstündigen Vorlesung

著者

• Rödding, D. (Dieter)

書誌事項

Reduktionstypen der Prädikatenlogik : nach einer einstündigen Vorlesung

von Dieter Rödding

Westfälische Wilhelms-Universität Münster, Institut für Mathematische Logik und Grundlagenforschung, 1970

注記

Bibliography: p. 56-57

詳細情報

• NII書誌ID(NCID): BB23962111
• 出版国コード: gw
• タイトル言語コード: ger
• 本文言語コード: ger
• 出版地: Münster i. W.
• ページ数/冊数: 59 p.
• 大きさ: 21 cm