|
|
Elements of logical reasoning / Jan von Plato.
by Von Plato, Jan. Publisher: Cambridge : Cambridge University Press, 2013Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.3 VON 2013]
(1).
|
|
|
The logic of infinity / Barnaby Sheppard.
by Sheppard, Barnaby. Publisher: Cambridge : Cambridge University Press, 2014Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.322 SHE 2014]
(1).
|
|
|
Computability, complexity, and logic / E. Borger.
by Borger, E. (Egon), 1946-. Publisher: Amsterdam; New York : North-Holland, 1989Availability: Items available for loan: Taylor's Library-TU
[Call number: 005.131 BOR]
(1).
|
|
|
Simply logical : intelligent reasoning by example / Peter Flach.
by Flach, Peter A. Publisher: Chichester, West Sussex ; New York : John Wiley , c1994Availability: Items available for loan: Taylor's Library-TU
[Call number: 006.3 FLA]
(1).
|
|
|
Mathematical logic for computer science / Lu Zhongwan.
by Lu, Zhongwan. Edition: 2nd ed.Publisher: Singapore : World Scientific , c1998Availability: Items available for loan: Taylor's Library-TU
[Call number: 004.0151 LUZ]
(1).
|
|
|
Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C. J. Hogger and J. A. Robinson.
by Gabbay, Dov M, 1945- [(ed.)] | Hogger, Christopher John [(j.ed.)] | Robinson, J. A. (John Alan) [(j.ed.)]. Publisher: Oxford : Clarendon Press, 1993-1998Availability: Items available for loan: Taylor's Library-TU
[Call number: 006.3 HAN]
(5).
|
|
|
Logical forms : an introduction to philosophical logic / Mark Sainsbury
by Sainsbury, Mark. Edition: 2nd ed.Publisher: Oxford, U.K. : Blackwell Publishers, 2001Availability: Items available for loan: Taylor's Library-TU
[Call number: 160 SAI]
(1).
|
|
|
Propositional logics : the semantic foundations of logic / Richard L. Epstein ; with the assistance and collaboration of Walter A. Carnielli ... [et al.]
by Epstein, Richard L, 1947- | Carnielli, Walter A. Edition: 2nd ed.Publisher: Australia ; Belmont, Calif. : Wadsworth, c2001Availability: Items available for loan: Taylor's Library-TU
[Call number: 160 EPS]
(1).
|
|
|
Predicate logic : the semantic foundations of logic / Richard L. Epstein.
by Epstein, Richard L, 1947-. Publisher: Belmont, Calif. : Wadsworth, c2001Availability: Items available for loan: Taylor's Library-TU
[Call number: 160 EPS]
(1).
|
|
|
Symbolic logic / Dale Jacquette.
by Jacquette, Dale. Publisher: Belmont, Calif. : Wadsworth, c2001Availability: Items available for loan: Taylor's Library-TU
[Call number: 160 JAC]
(2).
|
|
|
Epistemic logic for AI and computer science / J.-J. Ch. Meyer, W. van der Hoek.
by Meyer, John-Jules Ch | Hoek, W. van der (Wiebe van der) [(j.a.)]. Publisher: Cambridge [U.K.] : Cambridge University Press, 1995Availability: Items available for loan: Taylor's Library-TU
[Call number: 006.33 MEY]
(1).
|