Refine your search
Availability
-
Authors
- Bell, J L
- Best, Eike, et al
- Curry, Haskell B
- Dalen, Dirk Van
- Doberkat, Ernst-Eric...
- Falconer, K J
- Gabbay, Dov M
- Gratzer, George
- Hao, Wang
- Kleene, Stephen Cole
- Kneebone, G T
- Lawvere, F William
- Machover, M
- Mendelson, Elliott
- Nguyen, Hung T
- Schanuel, Stephen H
- Srivastava, S M
- Suppes, Patrick
- Walker, Elbert A
- Woods, John
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Artificial intellige...
- Artificial Intellige...
- Berechenbarkeit
- Beweistheorie
- Category theory (Mat...
- Computable functions
- Computer programming
- Mathematical logic
- Mathematical Logic a...
- Mathematical Logic a...
- Mathematical logic--...
- Nichtklassische Logi...
- Nonclassical mathema...
- Programming Language...
- Programming language...
- Programming Techniqu...
- Proof theory
- Sets-- Mathematical ...
- Sets; Mathematical l...
- Show more
- Show less
-
Titles