Books Online Store Global Online Shopping Center UK | Germany
apparel   jewelry   musical instruments   beauty   health   sports   office  
books   baby   camera   computers   dvd   games   electronics   garden   kitchen   magazines   music   phones   software   tools   toys   video  
 Help  
Books - Science - Mathematics - Pure Mathematics - Predicate & Propositional Calculus

1-28 of 28       1
Featured ListFavorite List
(price subject to change: see help)

click image to enlarge

Aussagenlogik, Mengen, Relationen (Studienbücher Mathematik)

by Herder
Unknown Binding (1975)
Beginning Logic

by Hackett Pub Co
Paperback (June, 1978)

Beginning Logic
list: $16.95 - our price: $16.95
by Hackett Pub Co Inc
Paperback (01 June, 1978)
(4 reviews) 4.25 out of 5 stars
Customer Review: Excellent logical system.: While there is currently a variety of logical systems about, Lemmon's is well balanced and fairly intuitive.
Computational Complexity of Logical Theories (Lecture notes in mathematics ; 718
list: $19.00
by Springer-Verlag
Paperback (01 June, 1979)

Elements of Deductive Inference: An Introduction to Symbolic Logic
list: $76.95 - our price: $76.95
by Wadsworth Publishing
Hardcover (02 August, 1999)
Existence and the Particular Quantifier (Philosophical monographs)
list: $24.95
by Temple Univ Pr
Hardcover (01 February, 1979)

Introduction mathématique à la logique

by Dunod
Unknown Binding (1976)
La structuration infinie des opérations bivalentes (Regulae ingenii / Le Comunieur

by Bibliosphère
Unknown Binding (1979)

Lectures on propositional calculi

by Pub. House of the Polish Academy of Sciences
Paperback (1984)
Logic: theory and practice

by University of Queensland Press
Paperback (1973)

Logik als Erfahrungswissenschaft (Erfahrung und Denken ; Bd. 57)

by Duncker & Humblot
Unknown Binding (1980)
Ontological Economy: Substitutional Quantification and Mathematics (Clarendon library
list: $42.00
by Oxford Univ Pr (Txt)
Hardcover (01 April, 1980)

Ontological Economy: Substitutional Quantification and Mathematics (Clarendon library
list: $42.00
by Oxford Univ Pr (Txt)
Hardcover (01 April, 1980)
Predicate Calculus and Program Semantics (Texts and Monographs in Computer Science
list: $79.95 - our price: $79.95
by Springer-Verlag
Hardcover (01 January, 1990)

Predicate Calculus and Program Semantics

by Springer Verlag
Hardcover (January, 1990)
Predicate-oriented database search algorithms (Outstanding dissertations in the computer

by Garland Pub
Unknown Binding (1979)

Prelude to cycle 23 the case for a fast-rising, large amplitude cycle (SuDoc NAS 1.6

by National Aeronautics and Space Administration, Marshall Space Flight Center National Technical Information Service, distributor
Unknown Binding (1996)
Propositional Logic : Deduction and Algorithms (Cambridge Tracts in Theoretical Computer
list: $90.00 - our price: $90.00
by Cambridge University Press
Hardcover (28 August, 1999)

Propositional Logic : Deduction and Algorithms (Cambridge Tracts in Theoretical Computer
list: $90.00 - our price: $90.00
by Cambridge University Press
Hardcover (28 August, 1999)
SAT2000
list: $116.00 - our price: $116.00
by Ios Pr Inc
Hardcover (01 January, 2000)

Satisfiability Problem: Theory and Applications (Dimacs Series in Discrete Mathematics and Theoretical Computer Science,
list: $156.00 - our price: $156.00
by American Mathematical Society
Hardcover (01 October, 1997)
Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)
list: $64.95
by Springer-Verlag Telos
Hardcover (15 January, 1999)

Tableau systems for first order number theory and certain higher order theories (Lecture notes in mathematics ;
list: $20.00
by Springer-Verlag
Unknown Binding (1975)
Technical Methods in Philosophy (Focus Series)
list: $54.50
by Westview Pr (Short Disc)
Hardcover (01 February, 1990)

Technical Methods in Philosophy (Focus Series)
list: $16.95
by Westview Pr (Short Disc)
Paperback (01 February, 1990)
Theory and Applications of Satisfiability Testing: 6th International Conference, Sat 2003,
list: $81.00 - our price: $81.00
by Springer Verlag
Paperback (19 March, 2004)

Traité du losange logique (Regulae ingenii / Le Comunieur)

by Bibliosphère
Unknown Binding (1979)
Worlds, Times and Selves
list: $25.00
by Univ of Massachusetts Pr
Hardcover (01 May, 1977)

1-28 of 28       1