|
|
Minds and machines [electronic resource]. Source: Academic Source CompletePublisher: Dordrecht ; Boston : Kluwer Academic Publishers, c1991-Online access: Full text available: May 2003-. (Due to publisher restrictions, the most recent 12 months are not available.). Available on EBSCOhost. Availability: No items available
|
|
|
ACM transactions on computational logic [electronic resource].
by Association for Computing Machinery. Source: Computers & Applied Sciences CompletePublisher: New York, NY : Association for Computing Machinery, c2000-Other title: Association for Computing Machinery transactions on computational logic | Computational logic | Transactions on computational logic | TOCL.Online access: Full text available: Apr 2006-. Available on EBSCOhost. Availability: No items available
|
|
|
Annals of pure and applied logic [electronic resource]. Source: Academic Source CompletePublisher: Amsterdam : North-Holland, c1983-Online access: Abstracts Available: Apr 2002- Available on EBSCOhost. Availability: No items available
|
|
|
Mathematical logic quarterly [electronic resource] : MLQ. Source: Academic Source CompletePublisher: Leipzig : J.A. Barth, c1993-Other title: MLQ.Online access: Full text available: Jan 2000-. (Due to publisher restrictions, the most recent 6 months are not available.). Available on EBSCOhost. Availability: No items available
|
|
|
Archive for mathematical logic [electronic resource]. Source: Academic Source CompletePublisher: Berlin : Springer International Online access: Full text available: Dec 1996-. (Due to publisher restrictions, the most recent 12 months are not available.). Available on EBSCOhost. Availability: No items available
|
|
|
Journal of mathematical logic [electronic resource]. Source: Academic Source CompletePublisher: Singapore : World Scientific : Singapore University Press, c2001-Other title: JML.Online access: Full text available: May 2001-. (Due to publisher restrictions, the most recent 12 months are not available.). Available on EBSCOhost. Availability: No items available
|
|
|
Algebra and logic [electronic resource]. Source: Academic Source CompletePublisher: [New York, N.Y.] : Plenum Pub. Online access: Full text available: May 2003-. (Due to publisher restrictions, the most recent 12 months are not available.). Available on EBSCOhost. Availability: No items available
|
|
|
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: TC External Storage
[Call number: 510.76 LIP]
(1).
|
|
|
Logic and the foundations of game and decision theory (LOFT 7) [electronic resource] / edited by Giacomo Bonanno, Wiebe Van Der Hoek, and Michael Wooldridge.
by Bonanno, Giacomo | Van der Hoek, Wiebe | Wooldridge, Michael J, 1966- | ebrary, Inc. Publisher: Amsterdam : Amsterdam University Press, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
Logic with trees [electronic resource] : an introduction to symbolic logic / Colin Howson.
by Howson, Colin | ebrary, Inc. Publisher: London ; New York : Routledge, 1997Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 160]
(1).
|
|
|
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).
|
|
|
Advances in technological applications of logical and intelligent systems [electronic resource] : selected papers from the Sixth Congress on Logic Applied to Technology / edited by Germano Lambert-Torres ... [et al.].
by Congress of Logic Applied to Technology (6th : 2007 : Santos, Brazil) | Torres, Germano Lambert | ebrary, Inc. Publisher: Amsterdam, Netherlands ; Fairfax, VA : IOS Press, c2009Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
Andrzej Mostowski and foundational studies [electronic resource] / edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny.
by Mostowski, Andrzej | Ehrenfeucht, Andrzej | Marek, V. W. (V. Wiktor), 1943- | Srebrny, Marian, 1947- | ebrary, Inc. Publisher: Amsterdam ; Washington, D.C. : IOS Press, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
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).
|
|
|
Logical dynamics of information and interaction / Johan van Benthem.
by Benthem, J. F. A. K. van, 1949-. Publisher: Cambridge : Cambridge University Press, 2011Availability: Items available for loan: Taylor's Library-TU
[Call number: 121.4 BEN 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).
|
|
|
The birth of model theory [electronic resource] : Löwenheim's theorem in the frame of the theory of relatives / Calixto Badesa ; translated by Michael Maudsley ; revised by the author.
by Badesa, Calixto | ebrary, Inc. Publisher: Princeton, N.J. ; Oxford : Princeton University Press, c2004Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 511.3092]
(1).
|
|
|
Mathematical logic [electronic resource] : foundations for information science / Wei Li.
by Li, Wei, 1943 June-. Publisher: Basel : Birkhauser, c2010Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for reference: Taylor's Library-TU
[Call number: 511.3]
(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).
|