Books - Predicate & Propositional Calculus

eShop USA > Books > Predicate & Propositional Calculus

Beginning Logic

by: E. J. Lemmon
1978-06
12 used from $6.99
6 Thirdparty New from $17.00

List Price: $18.95

Our Price: $17.05

You Save: $1.90 (10%)
Prices subject to change.

Elements of Deductive Inference: An Introduction to Symbolic Logic

by: Joseph Bessie, Stuart Glennan
August 02, 1999
8 used from $66.50
10 Thirdparty New from $90.00

Our Price: $112.95

Prices subject to change.

Mathematical Logic for Computer Science

by: Mordechai Ben-Ari
2003-02
12 used from $39.85
17 Thirdparty New from $44.92

List Price: $54.95

Our Price: $44.95

You Save: $10.00 (18%)
Prices subject to change.

Theory and Applications of Satisfiability Testing SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings (Lecture Notes in Computer Science)

from: Springer
June 06, 2008
4 used from $65.92
11 Thirdparty New from $65.93

Our Price: $69.95

Prices subject to change.

Propositional and Predicate Calculus: A Model of Argument

by: Derek Goldrei
August 03, 2005
8 used from $28.95
15 Thirdparty New from $28.43

List Price: $54.95

Our Price: $46.71

You Save: $8.24 (15%)
Prices subject to change.

Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)

by: Stephen G. Simpson
January 15, 1999
0 used from
0 Thirdparty New from

A categorical view of weakest liberal preconditions (Research report RC. International Business Machine Inc. Research Division)
by: Eric G Wagner
1986
0 used from
0 Thirdparty New from

Prelude to cycle 23 the case for a fast-rising, large amplitude cycle (SuDoc NAS 1.60:3654)
by: NASA
1996
0 used from
0 Thirdparty New from

Transforming logical rules by relational algebra (Technical report. Rutgers University. Department of Computer Science. Laboratory for Computer Science Research)
by: Tomasz ImielinÌski
1986
0 used from
0 Thirdparty New from

10.

Digital formulation and computational methods for some aspects of the functional calculus of symbolic logic (Technical memorandum / Johns Hopkins University, Operations Research Office)
by: Robert Steven Ledley
1954
0 used from
0 Thirdparty New from

Recently viewed Books: