Koepke, Peter.
Koepke, Peter, 1948-
VIAF ID: 5037400 ( Personal )
Permalink: http://viaf.org/viaf/5037400
Preferred Forms
- 200 _ | ‡a Koepke ‡b Peter
-
-
- 100 1 _ ‡a Koepke, Peter
- 100 1 _ ‡a Koepke, Peter
- 100 1 0 ‡a Koepke, Peter
-
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Atmospheric aerosols : global climatology and radiative characteristics | |
Coincidence Lemma and Substitution Lemma | |
Consequences of the Sequent Calculus | |
Equivalences of inconsistency and Henkin models | |
Gödel's completeness theorem | |
Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 | |
Neelon Crawford : ramparts of ice | |
Patterns : inside the Design Library | |
A sequent calculus for first-order logic | |
Substitution in first-order formulas: elementary properties |