|
|
New essays on Tarski and philosophy [electronic resource] / edited by Douglas Patterson.
by Patterson, Douglas | ebrary, Inc. Publisher: Oxford ; New York : Oxford University Press, 2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 510.1]
(1).
|
|
|
Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers / Bernd S.W. Schröder.
by Schröder, Bernd S. W. (Bernd Siegfried Walter), 1966-. Publisher: Hoboken, NJ : J. Wiley, 2010Availability: Items available for loan: TC External Storage
[Call number: 511.322 SCH 2010]
(2).
|
|
|
Logic, mathematics, philosophy, vintage enthusiasms : essays in honour of John L. Bell / editors, David DeVidi, Michael Hallett, Peter Clarke
by DeVidi, David, 1962- | Hallett, Michael, 1930- | Clark, Peter | Bell, J. L. (John Lane). Publisher: Dordrecht : Springer, 2011Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.3 LOG 2011]
(1).
|
|
|
Passage to abstract mathematics / Mark E. Watkins, Jeffrey L. Meyer.
by Watkins, Mark E, 1937- | Meyer, Jeffrey L. Publisher: Boston : Addison-Wesley, c2012Availability: Items available for loan: Taylor's Library-TC
[Call number: 510 WAT 2012]
(1).
|
|
|
A concise introduction to pure mathematics / Martin Liebeck.
by Liebeck, M. W. (Martin W.), 1954-. Edition: 3rd ed.Publisher: Boca Raton : CRC Press, c2011Availability: Items available for loan: Taylor's Library-TC
[Call number: 510 LIE 2011]
(1).
|
|
|
Schaum's outline of theory and problems of discrete mathematics / Seymour Lipschutz, Mare Lars Lipson.
by Lipschutz, Seymour | Lipson, Marc. Edition: 2nd edition.Publisher: New York : McGraw Hill, 1997Availability: Items available for loan: Taylor's Library-TU
[Call number: 512.02 LIP]
(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).
|
|
|
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).
|