Taylor's Library catalog › Results of search for 'ccl=su:{Logic, Symbolic and mathematical}'

Refine your search

Availability
- Limit to currently available items.
Authors
- Detlefsen, Michael, (2)
- Feferman, Solomon. (3)
- Gabbay, Dov M., (2)
- Lipschutz, Seymour. (2)
- Smullyan, Raymond M. (2)
- Show more
Collections
- Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 (14)
Holding libraries
- Taylor's Library-TC (7)
- Taylor's Library-TU (16)
- TC External Storage (6)
- TU External Storage-Block E (6)
- TU External Storage-LCS (10)
- Show more
Item types
- Accompanying Material (Media Resource) (1)
- Graduate Collection (2)
- Journals (2)
- Main Collection (37)
Series
- Cambridge studies in... (2)
- Lectures in logic an... (2)
- Oxford logic guides ... (3)
- Schaum's easy outlin... (2)
- Schaum's outline ser... (2)
- Show more
Topics
- Artificial intellige... (5)
- Computer science (5)
- Logic, Symbolic and ... (58)
- Logic, Symbolic and ... (25)
- Mathematics (10)
- Show more

		No cover image available The equations [electronic resource] : icons of knowledge / Sander Bais. by Bais, Sander \| ebrary, Inc. Publisher: Cambridge, Mass. : Harvard University Press, c2005Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
		No cover image available Uncertain inference [electronic resource] / Henry E. Kyburg, Jr. and Choh Man Teng. by Kyburg, Henry Ely, 1928- \| Teng, Choh Man \| ebrary, Inc. Publisher: Cambridge, UK ; New York : Cambridge University Press, 2001Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
		No cover image available Proof, logic, and formalization [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). Place hold
		No cover image available Deducibility and decidability [electronic resource] / R.R. Rockingham Gill. by Gill, R. R. Rockingham, 1944- \| ebrary, Inc. Publisher: London ; New York : Routledge, 1990Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
		No cover image 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). Place hold
		No cover image available Recursion theory for metamathematics [electronic resource] / Raymond M. Smullyan. by Smullyan, Raymond M \| ebrary, Inc. Publisher: New York : Oxford University Press, 1993Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
		No cover image available 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
		No cover image available Russell's hidden substitutional theory [electronic resource] / Gregory Landini. by Landini, Gregory \| ebrary, Inc. Publisher: New York : Oxford University Press, 1998Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 160/.92] (1). Place hold
		No cover image available Gödel's incompleteness theorems [electronic resource] / Raymond M. Smullyan. by Smullyan, Raymond M \| ebrary, Inc. Publisher: New York : Oxford University Press, 1992Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 511.3] (1). Place hold
		No cover image available Mathematical logic in the 20th century [electronic resource] / [edited by] Gerald E. Sacks. by Sacks, Gerald E \| ebrary, Inc. Publisher: Singapore : River Edge, NJ : Singapore University Press : World Scientific, c2003Other title: Mathematical logic in the twentieth century.Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 511.3] (1). Place hold
		No cover image 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). Place hold
		No cover image available 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). Place hold
		No cover image available Wittgenstein's Tractatus [electronic resource] : a dialectical interpretation / Matthew B. Ostrow. by Ostrow, Matthew B, 1961- \| ebrary, Inc. Publisher: Cambridge ; New York : Cambridge University Press, 2002Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 192] (1). Place hold
		No cover image available The determinacy of long games [electronic resource] / Itay Neeman. by Neeman, Itay, 1972- \| ebrary, Inc. Publisher: Berlin ; New York : Walter de Gruyter, c2004Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 519.3] (1). Place hold
		No cover image available Elucidating the Tractatus [electronic resource] : Wittgenstein's early philosophy of logic and language / Marie McGinn. by McGinn, Marie \| ebrary, Inc. Publisher: Oxford : Oxford ; New York : Clarendon ; Oxford University Press, 2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
		No cover image available 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). Place hold
		No cover image available Paradox and paraconsistency [electronic resource] : conflict resolution in the abstract sciences / John Woods. by Woods, John \| ebrary, Inc. Publisher: Cambridge, U.K. ; 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). Place hold
		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). Place hold
		No cover image available 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). Place hold
		No cover image available 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). Place hold

Taylor's Library

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Series

Topics