|
|
|
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).
|
|
|
|
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).
|
|
|
|
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).
|
|
|
|
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
|
|
|
|
Proof and knowledge in mathematics [electronic resource] / edited by Michael Detlefsen.
by Detlefsen, Michael, 1948- | ebrary, Inc. Publisher: London ; New York : Routledge, 1992Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 511.3]
(1).
|
|
|
|
In the light of logic [electronic resource] / Solomon Feferman.
by Feferman, Solomon | ebrary, Inc. Publisher: New York : Oxford University Press, c1998Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
|
Mathematical logic in Asia [electronic resource] : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / editors, S.S. Goncharov, R. Downey, H. Ono.
by Asian Logic Conference (9th : 2005 : Novosibirsk, Russia) | Downey, R. G. (Rod G.) | Goncharov, S. S | Ono, H | ebrary, Inc. Publisher: Singapore ; Hackensack, NJ : World Scientific, c2006Other title: Proceedings of the 9th Asian Logic Conference | Ninth Asian Logic Conference.Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 511.3]
(1).
|
|
|
|
Folk algebras in algebra [electronic resource] : logic and computer science / Marcelo Fabián Frias.
by Frias, Marcelo Fabian, 1968- | ebrary, Inc. Publisher: River Edge, NJ : World Scientific, 2002Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 004/.01/51]
(1).
|
|
|
|
Mathematical logic [electronic resource] / George Tourlakis.
by Tourlakis, George J | ebrary, Inc. Publisher: Cambridge, UK ; New York : Cambridge University Press, 2003Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 511.3]
(1).
|
|
|
|
Discrete & decision / Ian Bloomfield, John Stevens.
by Bloomfield, Ian | Stevens, John. Publisher: Cheltenham : Nelson Thornes, 2002Availability: Items available for loan: Taylor's Library-TC
[Call number: 510 BLO]
(2), TC External Storage
[Call number: 510 BLO]
(1).
|
|
|
|
The structure of models of Peano arithmetic [electronic resource] / Roman Kossak, James H. Schmerl.
by Kossak, Roman, 1953- | Schmerl, J. H. (James Henry), 1940- | ebrary, Inc. Publisher: Oxford : Clarendon, 2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 511.3]
(1).
|
|
|
|
Set theory [electronic resource] / George Tourlakis.
by Tourlakis, George J | ebrary, Inc. Publisher: Cambridge, UK ; New York : Cambridge University Press, 2003Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 511.3]
(1).
|
|
|
|
Schaum's outline of theory and problems of discrete mathematics / Seymour Lipschutz, Mare Lars Lipson.
by Lipschutz, Seymour | Lipson, Marc. Edition: 3rd edition.Publisher: New York : McGraw Hill, 2007Availability: Items available for loan: Taylor's Library-TU
[Call number: 512.02 LIP]
(1).
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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).
|
