Refine your search
Availability
-
Authors
- Amadio, Roberto M.
- Anthony, Martin
- de Rijke, Maarten
- Desel, Jorg
- Engelhardt, Kai
- Gardenfors, Peter
- Lange, Martin
- Lettman, Theodor
- Manzano, Maria
- Olderog, E R.
- Padawitz, Peter
- Paulson, Lawrence C.
- Sangiorgi, Davide
- Schwichtenberg, H.
- Simmons, H.
- Terese
- Troelstra, A S.
- Vickers, Steven
- Winslett, Marianne
- Wolfram, D A.
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
- Cambridge Tracts in ...
- Cambridge tracts in ...
- Cambridge Tracts in ...
- Cambridge Tracts in ...
- Cambridge Tracts in ...
- Cambridge Tracts in ...
- Cambridge tracts in ...
- Cambridge Tracts in ...
- Cambridge Tracts in ...
- Cambridge Tracts in ...
- Cambridge Tracts in ...
- Cambridge tracts in ...
- Cambridge Tracts in ...
- Cambridge Tracts in ...
- Cambridge Tracts in ...
- Cambridge Tracts in ...
- Cambridge tracts in ...
- Cambridge Tracts in ...
- Cambridge Tracts in ...
- Cambridge Tracts in ...
- Show more
- Show less
-
Topics
- Algebra
- Algebraic specificat...
- Basic Proof Theory
- Bisimulation
- Coinduction (Mathema...
- Computer - Logic Pro...
- Computer science
- Computer Science
- Computer simulation
- Deduction and Declar...
- Domains
- Epistemic Logic
- Induction (Mathemati...
- Logic
- Modality (Logic)
- Petri Nets
- Proof Theory
- Rewriting systems (C...
- Type Theory
- Show more
- Show less