gogo

Your search returned 104 results.

Sort
Results
Uncertain inference [electronic resource] / Henry E. Kyburg, Jr. and Choh Man Teng. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge, UK ; New York : Cambridge University Press, 2001
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Proof, logic, and formalization [electronic resource] / edited by Michael Detlefsen. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: London ; New York : Routledge, 1992
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Deducibility and decidability [electronic resource] / R.R. Rockingham Gill. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: London ; New York : Routledge, 1990
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Proof and knowledge in mathematics [electronic resource] / edited by Michael Detlefsen. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: London ; New York : Routledge, 1992
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Logic with trees [electronic resource] : an introduction to symbolic logic / Colin Howson. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: London ; New York : Routledge, 1997
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Wittgenstein's Tractatus [electronic resource] : a dialectical interpretation / Matthew B. Ostrow. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 2002
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Mathematical logic [electronic resource] / George Tourlakis. by Series: Lectures in logic and set theory ; v.1 | Cambridge studies in advanced mathematics ; 82.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge, UK ; New York : Cambridge University Press, 2003
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Set theory [electronic resource] / George Tourlakis. by Series: Lectures in logic and set theory ; .2 | Cambridge studies in advanced mathematics ; 83.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge, UK ; New York : Cambridge University Press, 2003
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Paradox and paraconsistency [electronic resource] : conflict resolution in the abstract sciences / John Woods. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge, U.K. ; New York : Cambridge University Press, 2003
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Mathematical logic in the 20th century [electronic resource] / [edited by] Gerald E. Sacks. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Singapore : River Edge, NJ : Singapore University Press : World Scientific, c2003
Other title:
  • Mathematical logic in the twentieth century
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
In the light of logic [electronic resource] / Solomon Feferman. by Series: Logic and computation in philosophy
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: New York : Oxford University Press, c1998
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Russell's hidden substitutional theory [electronic resource] / Gregory Landini. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: New York : Oxford University Press, 1998
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
The Oxford handbook of philosophy of mathematics and logic [electronic resource] / edited by Stewart Shapiro. by Series: Oxford handbooks in philosophy
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Oxford ; New York : Oxford University Press, 2005
Other title:
  • Philosophy of mathematics and logic
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
The equations [electronic resource] : icons of knowledge / Sander Bais. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge, Mass. : Harvard University Press, c2005
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Logically determined design [electronic resource] : clockless system design with NULL convention logic / Karl M. Fant. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Hoboken, NJ : John Wiley & Sons, 2005
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Advances in logic, artificial intelligence, and robotics [electronic resource] : LAPTEC 2002 / edited by Jair Minoro Abe and João Inácio da Silva Filho. by Series: Frontiers in artificial intelligence and applications ; v. 85.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Amsterdam ; Washington, DC : IOS Press/Ohmsha, 2002
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Commonsense reasoning [electronic resource] / Erik T. Mueller. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Amsterdam ; Boston : Elsevier Morgan Kaufmann, c2006
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Mathematical logic [electronic resource] / Ian Chiswell and Wilfrid Hodges. by Series: Oxford texts in logic ; 3.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: London ; New York : Oxford University Press, 2007
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
The determinacy of long games [electronic resource] / Itay Neeman. by Series: Gruyter series in logic and its applications ; 7.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Walter de Gruyter, c2004
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Folk algebras in algebra [electronic resource] : logic and computer science / Marcelo Fabián Frias. by Series: Advances in logic ; v. 2.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: River Edge, NJ : World Scientific, 2002
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
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
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Singapore ; Hackensack, NJ : World Scientific, c2006
Other title:
  • Proceedings of the 9th Asian Logic Conference
  • Ninth Asian Logic Conference
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Andrzej Mostowski and foundational studies [electronic resource] / edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny. by
Material type: Text Text; Format: electronic available online remote; Nature of contents: festschrift biography; Literary form: Not fiction
Publication details: Amsterdam ; Washington, D.C. : Ios Press, c2008
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Propositions, functions, and analysis [electronic resource] : selected essays on Russell's philosophy / Peter Hylton. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 2005
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
New essays on Tarski and philosophy [electronic resource] / edited by Douglas Patterson. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Oxford ; New York : Oxford University Press, 2008
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Symbolic computation and education [electronic resource] / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Singapore ; Hackensack, NJ : World Scientific, c2007
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
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 Series: Frontiers in artificial intelligence and applications ; v. 186. | Frontiers in artificial intelligence and applications. Knowledge-based intelligent engineering systems.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Amsterdam, Netherlands ; Fairfax, VA : IOS Press, c2009
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Interactive logic [electronic resource] : selected papers from the 7th Augustus de Morgan Workshop, London / edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe. by Series: Texts in logic and games ; v. 1.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Amsterdam : Amsterdam University Press, c2007
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Logic and automata [electronic resource] : history and perspectives / edited by Jörg Flum, Erich Grädel, and Thomas Wilke. by Series: Texts in logic and games ; v. 2.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Amsterdam : Amsterdam University Press, c2008
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
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 Series: Texts in logic and games ; v. 3.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Amsterdam : Amsterdam University Press, c2008
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Frege's logic [electronic resource] / Danielle Macbeth. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge, MA : Harvard University Press, 2005
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Discovering patterns in mathematics and poetry [electronic resource] / Marcia Birken and Anne C. Coon. by Series: Internationale Forschungen zur allgemeinen und vergleichenden Literaturwissenschaft ; 116.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Amsterdam ; New York : Rodopi, 2008
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Essays on Frege's conception of truth [electronic resource] / edited by Dirk Greimann. by Series: Grazer philosophische Studien ; v. 75.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Amsterdam ; New York : Rodopi, 2007
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
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
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Princeton, N.J. ; Oxford : Princeton University Press, c2004
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Essays in the philosophy and history of logic and mathematics [electronic resource] / Roman Murawski ; foreword, Jan Woleński. by Series: Poznań studies in the philosophy of the sciences and the humanities ; v. 98.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Amsterdam : Rodopi, 2010
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 [electronic resource] / editors, T. Arai ... [et al.]. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Hackensack, NJ : World Scientific, c2010
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Diamond [electronic resource] : a paradox logic / N.S. Hellerstein. by Series: K & E series on knots and everything ; v. 23.
Edition: 2nd ed.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Singapore ; Hackensack, NJ : World Scientific, c2010
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
The search for mathematical roots, 1870-1940 [electronic resource] : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel / I. Grattan-Guinness. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Princeton, N.J. : Princeton University Press, c2000
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Eleventh Scandinavian Conference on Artificial Intelligence [electronic resource] : SCAI 2011 / edited by Anders Kofod-Petersen, Fredrik Heintz and Helge Langseth. by Series: Frontiers in artificial intelligence and applications ; v. 227.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Washington, D.C. : IOS Press, 2011
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Institution-independent model theory [electronic resource] / Răzvan Diaconescu. by Series: Studies in universal logic
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Basel ; Boston : Birkhäuser, c2008
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Foundations without foundationalism [electronic resource] : a case for second-order logic. by Series: Oxford logic guides ; 17.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 2000
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Frege and other philosophers [electronic resource] / Michael Dummett. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1991
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Mathematical logic [electronic resource] / by Willard Van Orman Quine. by
Edition: Rev. ed.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge, MA : Harvard University Press, c1981
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Quantification [electronic resource] : transcending beyond Frege's boundaries : a case study in transcendental-metaphysical logic / by Aleksy Mołczanow. by Series: Critical studies in German idealism ; v. 5.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Leiden ; Boston : Brill, 2012
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011 [electronic resource] / edited by Rod Downey ... [et al.]. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Singapore : World Scientific Pub. Co., 2013
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic / Aristides Baltas. [electronic resource] by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Pittsburgh, Pennsylvania : University of Pittsburgh Press, 2012Copyright date: ©2012
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
A tour through mathematical logic [electronic resource] / Robert S. Wolf. by Series: Carus mathematical monographs ; no. 30.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized;
Publication details: Washington, D.C. : Mathematical Association of America, c2005
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Beyond sets [electronic resource] : a venture in collection-theoretic revisionism / Nicholas Reschler and Patrick Grim. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Frankfurt : Ontos Verlag, 2011
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Distilling ideas [electronic resource] : an introduction to mathematical thinking / Brian P. Katz, Michael Starbird. by Series: MAA textbooks
Edition: 1st ed.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Washington, DC : Mathematical Association of America, 2013
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Word and object [electronic resource] / Willard Van Orman Quine ; foreword by Patricia Smith Churchland ; preface to the new edition by Dagfinn Føllesdal. by
Edition: New ed.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, c2013
Other title:
  • Word & object
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Principles of truth / Volker Halbach, Leon Horsten. [electronic resource] by Series: Epistemische Studien (Frankfurt am Main, Germany) ; Bd. 1.
Edition: Second edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Frankfurt : Ontos Verlag, 2004
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Pages

Powered by Koha