Skip to content
Scan a barcode
Scan
Added to your cart
Hardcover Algebraic Methods in Philosophical Logic Book

ISBN: 0198531923

ISBN13: 9780198531920

Algebraic Methods in Philosophical Logic

(Book #41 in the Oxford Logic Guides Series)

Select Format

Select Condition ThriftBooks Help Icon

Recommended

Format: Hardcover

Condition: Very Good*

*Best Available: (ex-library)

$189.19
Save $50.81!
List Price $240.00
Almost Gone, Only 1 Left!

Book Overview

This comprehensive text demonstrates how various notions of logic can be viewed as notions of universal algebra. It is aimed primarily at logisticians in mathematics, philosophy, computer science and linguistics with an interest in algebraic logic, but is also accessible to those from a non-logistics background. The premise of the text is that standard algebraic results (representations) translate into standard logical results (completeness) and it...

Elementary Categories, Elementary Toposes
Elementary Categories, Elementary Toposes
Colin McLarty

from: $175.00

Recursion Theory for Metamathematics
Recursion Theory for Metamathematics
Raymond M. Smullyan

from: $64.59

Arithmetic, Proof Theory, and Computational Complexity
Arithmetic, Proof Theory, and Computational Complexity
Clote

from: $120.20

Many-valued Logics (Oxford Logic Guides)
Many-valued Logics (Oxford Logic Guides)
Grzegorz Malinowski

from: $160.00

Groups of Finite Morley Rank
Groups of Finite Morley Rank
Alexandre V. Borovik

from: $220.00

Diagonalization and Self-Reference (Oxford Logic Guides)
Diagonalization and Self-Reference (Oxford Logic Guides)
Raymond M. Smullyan

Out of Stock

Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides)
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides)
Dov M. Gabbay, Mark A. Reynolds

Out of Stock

Cardinal Arithmetic (Oxford Logic Guides)
Cardinal Arithmetic (Oxford Logic Guides)
Saharon Shelah

from: $315.00

Features and Fluents: The Representation of Knowledge About Dynamical Systems Volume 1
Features and Fluents: The Representation of Knowledge About Dynamical Systems Volume 1
Erik Sandewall

from: $100.00

Set Theory with a Universal Set: Exploring an Untyped Universe
Set Theory with a Universal Set: Exploring an Untyped Universe
T.E. Forster

from: $100.65

Geometric Stability Theory
Geometric Stability Theory
Anand Pillay

from: $170.00

Labelled Deductive Systems: Volume 1
Labelled Deductive Systems: Volume 1
Dov M. Gabbay

from: $110.00

Set Theory and the Continuum Problem (Oxford Logic Guides)
Set Theory and the Continuum Problem (Oxford Logic Guides)
Raymond M. Smullyan, Melvin Fitting

from: $5.19

Modal Logic (Oxford Logic Guides)
Modal Logic (Oxford Logic Guides)
Michael Zakharyaschev, Alexander Chagrov

from: $325.00

Model Theory
Model Theory
Maria Manzano

from: $240.00

Fibring Logics (Oxford Logic Guides , No 38)
Fibring Logics (Oxford Logic Guides , No 38)
Dov M. Gabbay

from: $150.00

Elements of Intuitionism
Elements of Intuitionism
Michael Dummett

Out of Stock

Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2
Marcelo Finger, Mark A. Reynolds, Dov M. Gabbay

from: $280.00

Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning
Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning
Hans Rott

from: $240.00

Sketches of an Elephant: A Topos Theory Compendium Volume 1
Sketches of an Elephant: A Topos Theory Compendium Volume 1
Peter Johnstone

Out of Stock

Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides, 45)
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides, 45)
Eike Ritter, David J. Pym

from: $205.00

Interpolation and Definability: Modal and Intuitionistic Logic
Interpolation and Definability: Modal and Intuitionistic Logic
Dov M. Gabbay, Larisa Maksimova

from: $235.00

Set Theory: Boolean-Valued Models and Independence Proofs
Set Theory: Boolean-Valued Models and Independence Proofs
J.L. Bell

from: $72.20

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
Laura Crosilla, Laura Crosilla

from: $245.00

Customer Reviews

0 customer rating | 0 review
There are currently no reviews. Be the first to review this work.
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured