Refine your search
- Availability
-
Authors
- Carnielli, Walter. (2)
- Fried, Michael D. (2)
- Lerman, Manuel (2)
- Mazzola, Guerino. (2)
- Milmeister, Gérard. (2)
- Show more
- Holding libraries
- Home libraries
-
Item types
-
Series
-
Topics
- Algebra. (11)
- Applied mathematics. (12)
- Artificial Intelligence (incl. Robotics). (13)
- Artificial intelligence. (13)
- Combinatorics. (7)
- Computer logic. (12)
- Computer science (11)
- Computer Science. (27)
- Computer science. (27)
- Computers. (20)
- Engineering mathematics. (12)
- Engineering. (5)
- Logic. (16)
- Logics and Meanings of Programs. (12)
- Mathematical Logic and Formal Languages. (47)
- Mathematical Logic and Foundations. (58)
- Mathematical logic. (91)
- Mathematics. (40)
- Philosophy. (15)
- Theory of Computation. (16)