Refine your search
Availability
-
Authors
- Beeh, Volker
- Bock, Hans
- Church, Alonzo
- Epstein, Richard L.
- Fitting, Melvin
- Flum, Jörg
- Freeman, Eugene
- Frege, Gottlob
- Gabbay, Dov M.
- Greenwood, Thomas
- Herczeg, János
- Jaiani, George
- Kreiser, Lothar
- Kreiser, Lothar. [from old catalog]
- Mack, J. M.
- Minker, Jack
- Natroshvili, David
- Russel, Bertrand
- Walsch, Werner
- Wittgenstein, Ludwig
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
- Graduate texts in computer science
- Graduate texts in mathematics
- Grundlagen der Kommunikation
- Libelli
- Logique et methodologie, exposes pub. sous la direction de Thomas Greenwood
- Oxford science publications
- Philosophische Studientexte
- Princeton mathematical series
- Routledge Classics
- Springer Proceedings in Mathematics & Statistics
- Studies in logic and computation
- Undergraduate Texts in Mathematics
- Wissenschaftliche Beiträge der Martin-Luther-Universität Halle-Wittenberg
- Show more
- Show less
-
Topics
- Algebraic logic
- Automatic theorem proving
- Biolinguistics
- Computer science
- Database management
- Differential equations, partial
- Language and languages
- Logic
- Logic, Modern
- Logic, Symbolic and mathematical
- Logique symbolique et mathématique
- Mathematical linguistics
- Mathematics
- Mathematische Logik
- Métamathématique
- Semantics
- Thought and thinking
- Zeitschrift
- Show more
- Show less