Your search returned 29 results.

Not what you expected? Check for suggestions
|
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).