DotCom

Enable

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications Author: Richard W. Kaye Manufacturer: Cambridge University Press ListPrice: $39.99 Offer: $35.99	Programming Languages and Operational Semantics: An Introduction Author: M Fernandez Manufacturer: College Publications ListPrice: $18.50 Offer: $18.50	Toposes and Local Set Theories: An Introduction (Dover Books on Mathematics) Author: J. L. Bell Manufacturer: Dover Publications ListPrice: $15.95 Offer: $10.85
Incompleteness in the Land of Sets (Studies in Logic) Author: Melvin Fitting Manufacturer: College Publications ListPrice: $30.00 Offer: $27.00	Natural Deduction: A Proof-Theoretical Study Author: Dag Prawitz Manufacturer: Dover Publications ListPrice: $9.95 Offer: $9.95	Logic and Structure Author: Dirk van Dalen Manufacturer: Springer ListPrice: $49.95 Offer: $48.70
Relation Algebras, Volume 150 (Studies in Logic and the Foundations of Mathematics) Author: Roger Duncan Maddux Manufacturer: Elsevier Science ListPrice: $220.00 Offer: $196.55	Logical Frameworks for Truth and Abstraction (Studies in Logic and the Foundations of Mathematics) Author: A. Cantini Manufacturer: North Holland ListPrice: $170.00 Offer: $170.00	Categories for Software Engineering Author: José L. Fiadeiro Manufacturer: Springer ListPrice: $89.95 Offer: $71.96
Descriptive Complexity (Texts in Computer Science) Author: Neil Immerman Manufacturer: Springer ListPrice: $109.00 Offer: $95.17