Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)

Keywords

Science & MathMathematics

1965Book

Author(s)Hans Hermes

PublisherSpringer-Verlag

ISBN9783540033509

LanguageGerman

Mathematische Gesetze der Logik I: Vorlesungen über Aussagenlogik (Grundlehren der mathematischen Wissenschaften) (German Edition)

Juristische Logik (German Edition)

Book

Grundzüge der Theoretischen Logik (Grundlehren der mathematischen Wissenschaften) (German Edition)

Topological Model Theory (Lecture Notes in Mathematics, 769)

Cabal Seminar 79-81: Proceedings. Caltech-UCLA Logic Seminar 1979-81 (Lecture Notes in Mathematics)

Selection Theorems and Their Applications (Lecture Notes in Mathematics, 263)

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 (Lecture Notes in Mathematics, 1141)

The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)

Computations in Higher Types (Lecture Notes in Mathematics, 574)

Operatorenrechnung: Mit Anwendungen auf Technische Probleme (German Edition)