|
|
The logic book / Merrie Bergmann, James Moor, Jack Nelson.
by Bergmann, Merrie | Moor, James, 1942- | Nelson, Jack, 1944-. Edition: 5th ed.Publisher: Boston : McGraw-Hill Higher Education, c2009Availability: Items available for loan: TC External Storage
[Call number: 160 BER 2009]
(1).
|
|
|
Discrete mathematics : based on Schaum's outline of theory and problems of discrete mathematics, second edition, by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D. / abridgement editor, George J. Hademenos.
by Hademenos, George J | Lipschutz, Seymour. Schaum's outline of theory and problems of discrete mathematics. Publisher: New York : McGraw-Hill, c2003Availability: Items available for loan: Taylor's Library-TU
[Call number: 512.02 DIS]
(1).
|
|
|
Understanding symbolic logic / Virginia Klenk.
by Klenk, Virginia, 1940-. Edition: 4th ed.Publisher: Upper Saddle River, N.J. : Prentice Hall, c2002Availability: Items available for loan: Taylor's Library-TU
[Call number: 160 KLE]
(1).
|
|
|
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.
by Lewis, Harry R | Papadimitriou, Christos H. Edition: 2nd ed.Publisher: Upper Saddle River, N.J. : Prentice-Hall, c1998Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.3 LEW]
(4).
|
|
|
Eleventh Scandinavian Conference on Artificial Intelligence [electronic resource] : SCAI 2011 / edited by Anders Kofod-Petersen, Fredrik Heintz and Helge Langseth.
by Scandinavian Conference on Artificial Intelligence (11th : 2011) | Kofod-Petersen, Anders | Heintz, Fredrik | Langseth, Helge | ebrary, Inc. Publisher: Washington, D.C. : IOS Press, 2011Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
Publications 1929-1936 / [electronic resource] / Kurt Gödel ; edited by Solomon Feferman ... [et al.].
by Godel, Kurt | Feferman, Solomon | ebrary, Inc. Publisher: New York : Oxford [England] : Oxford University Press ; Clarendon Press, c1986Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 511.3]
(1).
|
|
|
Understanding mathematical proof / John Taylor, Rowan Garnier.
by Taylor, John, 1957- | Garnier, Rowan. Publisher: Boca Raton : CRC Press, Taylor & Francis Group, 2014Availability: Items available for loan: Taylor's Library-TC
[Call number: 511.36 TAY 2014]
(1).
|
|
|
Discrete mathematics and its applications / Kenneth H. Rosen.
by Rosen, Kenneth H [author.]. Edition: Eighth edition.International student edition.Publisher: New York, NY : McGraw-Hill Education, [2019]Copyright date: ©2019Availability: Items available for loan: Taylor's Library-TU
[Call number: 511 ROS 2019]
(4).
|
|
|
Commonsense reasoning [electronic resource] / Erik T. Mueller.
by Mueller, Erik T | ebrary, Inc. Publisher: Amsterdam ; Boston : Elsevier Morgan Kaufmann, c2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 153.4/3]
(1).
|
|
|
The Oxford handbook of philosophy of mathematics and logic [electronic resource] / edited by Stewart Shapiro.
by Shapiro, Stewart, 1951- | ebrary, Inc. Publisher: Oxford ; New York : Oxford University Press, 2005Other title: Philosophy of mathematics and logic.Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 510/.1]
(1).
|
|
|
Propositions, functions, and analysis [electronic resource] : selected essays on Russell's philosophy / Peter Hylton.
by Hylton, Peter | ebrary, Inc. Publisher: Oxford : New York : Clarendon Press ; Oxford University Press, 2005Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 192]
(1).
|
|
|
Logically determined design [electronic resource] : clockless system design with NULL convention logic / Karl M. Fant.
by Fant, Karl M | ebrary, Inc. Publisher: Hoboken, NJ : John Wiley, 2005Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 621.381]
(1).
|
|
|
Advances in logic, artificial intelligence, and robotics [electronic resource] : LAPTEC 2002 / edited by Jair Minoro Abe and João Inácio da Silva Filho.
by Congress of Logic Applied to Technology (3rd : 2002 : Sao Paulo, Brazil) | Abe, Jair Minoro | Silva Filho, Joao Inacio da | ebrary, Inc. Publisher: Amsterdam ; Washington, DC : IOS Press/Ohmsha, 2002Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 006.3]
(1).
|
|
|
Symbolic computation and education [electronic resource] / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang.
by Li, Shangzhi, 1947- | Wang, Dongming, 1961- | Zhang, Jingzhong, 1936- | ebrary, Inc | International Seminar on Symbolic Computation in Education (2006 : Beihang University). Publisher: Singapore ; Hackensack, NJ : World Scientific, c2007Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
Tracking reason [electronic resource] : proof, consequence, and truth / Jody Azzouni.
by Azzouni, Jody | ebrary, Inc. Publisher: New York : Oxford University Press, c2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
An introduction to formal languages and automata / Peter Linz.
by Linz, Peter [author.]. Edition: Sixth edition.Publisher: Burlington, MA : Jones & Bartlett Learning, [2017]Copyright date: ©2017Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.3 LIN 2017]
(1).
|