Refine your search
Availability
-
Authors
- Muller G H (2)
- Rautenberg Wolfgang (4)
- Rautenberg, Wolfgang (1)
-
Item types
-
Series
-
Topics
- Applications of Math... (1)
- Bibliography (2)
- Classical logic (1)
- Computational Scienc... (1)
- Computer science (1)
- Logic, Symbolic and ... (1)
- Mathematical logic (3)
- Mathematical Logic a... (1)
- Mathematics (1)
- Non-classical logic (1)
- Symbolic logic (1)
- Show more
- Show less