Refine your search
Availability
-
Authors
- Casado, L. G.
- Cooper, S. Barry
- Cox, David
- Crossley, John Newso...
- Csendes, T.
- Edwards, Harold M.
- Gabbay, Dov M.
- Gopalakrishnan, Gane...
- Hersh, Reuben
- Little, John
- Mills, Bruce
- Morgan, Carroll
- O’Shea, Donal
- Poernomo, Iman Hafiz
- Reis, Ricardo
- Sorbi, Andrea
- Specht, E.
- Szabó, P. G.
- Vîţă, Luminiţa Simon...
- Wirsing, Martin
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
-
Topics
- Algebra
- Algebraic Geometry
- Computer science
- Computer Science
- Electronic and Compu...
- Engineering
- Geometry, algebraic
- Information theory
- Logic design
- Logic Design
- Logic, Symbolic and ...
- Logics and Meanings ...
- Math Applications in...
- Mathematical Logic a...
- Mathematical Logic a...
- Mathematics
- Programming Language...
- Programming Techniqu...
- Software engineering
- Theory of Computatio...
- Show more
- Show less