Refine your search
Availability
-
Authors
- Braffort P (1)
- Crossley J N (1)
- Dummett M A E (1)
- Hirschberg D (1)
- Skolem Th (1)
-
Item types
- Books (3)
-
Series
-
Topics
- Computer programming (1)
- Formal system (3)
- Mathematical logic (3)