Bridges from Classical to Nonmonotonic Logic (Texts in Computing) : David Makinson
Customers also bought these products:
Nonmonotonic Reasoning Author: Grigoris Antoniou Manufacturer: The MIT Press ListPrice: $55.00 Offer: $51.28
The Haskell Road to Logic, Maths and Programming (Texts in Computing) Author: Kees Doets Manufacturer: College Publications ListPrice: $25.00 Offer: $22.50
Programming Languages and Operational Semantics: An Introduction Author: M Fernandez Manufacturer: College Publications ListPrice: $18.50 Offer: $16.65
Introduction to the Theory of Computation, Second Edition Author: Michael Sipser Manufacturer: Course Technology ListPrice: $148.95 Offer: $119.16
An Introduction to Lambda Calculi for Computer Scientists Author: C Hankin Manufacturer: College Publications ListPrice: $18.50 Offer: $16.65
Quantifiers in Language and Logic Author: Stanley Peters Manufacturer: Oxford University Press, USA ListPrice: $125.00 Offer: $107.43
Types and Programming Languages Author: Benjamin C. Pierce Manufacturer: The MIT Press ListPrice: $72.00 Offer: $57.60
Reasoning About Knowledge Author: Ronald Fagin Manufacturer: The MIT Press ListPrice: $44.00 Offer: $36.25
Nonmonotonic Reasoning: Logical Foundations of Commonsense (Cambridge Tracts in Theoretical Computer Science) Author: Gerhard Brewka Manufacturer: Cambridge University Press ListPrice: $75.00 Offer: $69.56
Advanced Topics in Types and Programming Languages Manufacturer: The MIT Press ListPrice: $68.00 Offer: $54.40