|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|