Basic Proof Theory
A. S. (Universiteit van Amsterdam) Troelstra
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£44.99
£42.45
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketLambda-calculus, Combinators and Functional Programming
G. E. Revesz
Out of stock
Format: Book (Paperback / softback)
Topology via Logic
Steven (Imperial College of Science, Technology and Medicine, Vickers
Out of stock
Format: Book (Paperback / softback)
Free Choice Petri Nets
Jorg (Humboldt-Universitat zu Berlin) Desel
Out of stock
Format: Book (Paperback / softback)
Computational Learning Theory
M. H. G. (London School of Economics and Political Science) Anthony
Out of stock
Format: Book (Paperback / softback)
Programs, Recursion and Unbounded Choice
Wim H. Hesselink
Out of stock
Format: Book (Paperback / softback)
Nets, Terms and Formulas : Three Views of Concurrent Processes and their Relationship
E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany) Olderog
Out of stock
Format: Book (Paperback / softback)
Two-Level Functional Languages
Flemming (Aarhus Universitet, Denmark) Nielson
Out of stock
Format: Book (Paperback / softback)
The Logic of Typed Feature Structures : With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Robert L. (Carnegie Mellon University, Pennsylvania) Carpenter
Out of stock
Format: Book (Paperback / softback)
Deductive and Declarative Programming
Peter Padawitz
Out of stock
Format: Book (Paperback / softback)
The Uncertain Reasoner's Companion : A Mathematical Perspective
J. B. (University of Manchester) Paris
Out of stock
Format: Book (Paperback / softback)
Domains and Lambda-Calculi
Roberto M. (Universite de Provence) Amadio
Out of stock
Format: Book (Paperback / softback)
Algebraic Specification of Communication Protocols
S. (Technische Universiteit Eindhoven, The Netherlands) Mauw
Out of stock
Format: Book (Paperback / softback)
Metamathematics, Machines and Godel's Proof
N. (SRI International, USA) Shankar
Out of stock
Format: Book (Paperback / softback)
Formal Semantics and Pragmatics for Natural Language Querying
James Clifford
Out of stock
Format: Book (Paperback / softback)
Concurrency Verification : Introduction to Compositional and Non-compositional Methods
Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germa Roever
Out of stock
Format: Book (Paperback / softback)
Nonmonotonic Reasoning : Logical Foundations of Commonsense
Gerhard Brewka
Out of stock
Format: Book (Paperback / softback)
The Logic of Typed Feature Structures : With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Bob Carpenter
Item not Available
Format: Book (Hardback)
£40.00
£36.25
Item not Available
Book (Hardback)
Formal Methods in Artificial Intelligence
Allan M. (University College Dublin) Ramsay
Out of stock
Format: Book (Paperback / softback)
£50.00
£43.85
Item not Available
Book (Hardback)