Refine your search
Availability
-
Authors
- Baumgartner, Peter
- Dybjer, Peter
- Gottlob, Georg
- Jantke, Klaus P.
- Kechris, Alexander S...
- Leitsch, Alexander
- Löwe, Benedikt
- Martin, Donald A.
- Meinke, Karl
- Müller, Gert H.
- Nerode, Anil
- Nipkow, Tobias
- Nordström, Bengt
- Pacholski, Leszek
- Pitt, David H.
- Poigné, Axel
- Prestel, Alexander
- Richter, Michael M.
- Rydeheard, David E.
- Sacks, Gerald E.
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
- Advances in Logic: V...
- Computer Science Cla...
- Contemporary mathema...
- International series...
- Lecture Notes in Com...
- Lecture Notes in Com...
- Lecture notes in com...
- Lecture notes in com...
- Lecture Notes in Com...
- Lecture Notes in Com...
- Lecture Notes in Mat...
- Lecture notes in mat...
- London Mathematical ...
- Mathematical Science...
- Mathematics & its Ap...
- Noordhoff series of ...
- Problem Books in Mat...
- Proceedings of sympo...
- Textbooks in mathema...
- Undergraduate texts ...
- Show more
- Show less
-
Topics
- Algebra
- Algorithm Analysis a...
- Artificial intellige...
- Artificial Intellige...
- Computation by Abstr...
- Computer science
- Computer Science
- Computer software
- Logic design
- Logic, Symbolic and ...
- Logics and Meanings ...
- Mathematical Logic a...
- Mathematical Logic a...
- Mathematics
- Programming Language...
- Programming Techniqu...
- Software engineering
- Symbolic and Algebra...
- Topology
- Show more
- Show less