Refine your search

Your search returned 91 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Symbolic logic. by
Edition: 5th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Prentice Hall, 2005
Availability: Items available for loan: DeKUT Main Campus Library (1)Call number: BC 135 .C58.

2.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Symbolic logic. by
Edition: 5th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Prentice Hall, 2005
Availability: Items available for loan: DeKUT Main Campus Library (2)Call number: BC 135 .C58, ...

3.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Schaum's outline of discret mathematics / Seymour Lipschutz and Marc Lars Lipson. by Series: -
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Mc Graw Hill, 2007
Availability: Items available for loan: DeKUT Main Campus Library (2)Call number: QA 162 .L5 2007, ...

4.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Schaum's outline of discret mathematics / Seymour Lipschutz and Marc Lars Lipson. by Series: -
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Mc Graw Hill, 2007
Availability: Items available for loan: DeKUT Main Campus Library (1)Call number: QA 162 .L5 2007.

5. Books
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Introduction to digital logic design / by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Reading, Mass. : Addison-Wesley, c1993
Availability: Items available for loan: DeKUT Main Campus Library (1)Call number: TK 7888.4 .K3.

6. Books
Image from Google Jackets
Image from OpenLibrary
Tractatus logico-philosophicus / by Ludwig Wittgenstein ; with an introduction by Bertrand Russell. by Series: International library of psychology, philosophy, and scientific method
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English, German Original language: German
Publication details: London : Routledge & K. Paul, 1949
Availability: Items available for loan: DeKUT Main Campus Library (1)Call number: REF B 3376 .W563 W5.

7.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Deducibility and decidability [electronic resource] / R.R. Rockingham Gill. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: London ; New York : Routledge, 1990
Online resources:
Availability: No items available.

8.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Uncertain inference [electronic resource] / Henry E. Kyburg, Jr. and Choh Man Teng. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge, UK ; New York : Cambridge University Press, 2001
Online resources:
Availability: No items available.

9.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Wittgenstein's Tractatus [electronic resource] : a dialectical interpretation / Matthew B. Ostrow. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 2002
Online resources:
Availability: No items available.

10.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Paradox and paraconsistency [electronic resource] : conflict resolution in the abstract sciences / John Woods. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge, U.K. ; New York : Cambridge University Press, 2003
Online resources:
Availability: No items available.

11.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
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: available online remote; Literary form: Not fiction
Publication details: Cambridge, UK ; New York : Cambridge University Press, 2003
Online resources:
Availability: No items available.

12.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
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: available online remote; Literary form: Not fiction
Publication details: Cambridge, UK ; New York : Cambridge University Press, 2003
Online resources:
Availability: No items available.

13.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Logically determined design [electronic resource] : clockless system design with NULL convention logic / Karl M. Fant. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Hoboken, NJ : John Wiley & Sons, 2005
Online resources:
Availability: No items available.

14.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Mathematical logic in the 20th century [electronic resource] / [edited by] Gerald E. Sacks. by
Material type: Text Text; Format: 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 resources:
Availability: No items available.

15.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Proof and knowledge in mathematics [electronic resource] / edited by Michael Detlefsen. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: London ; New York : Routledge, 1992
Online resources:
Availability: No items available.

16.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Proof, logic, and formalization [electronic resource] / edited by Michael Detlefsen. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: London ; New York : Routledge, 1992
Online resources:
Availability: No items available.

17.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Logic with trees [electronic resource] : an introduction to symbolic logic / Colin Howson. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: London ; New York : Routledge, 1997
Online resources:
Availability: No items available.

18.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
19.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
In the light of logic [electronic resource] / Solomon Feferman. by Series: Logic and computation in philosophy
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: New York : Oxford University Press, c1998
Online resources:
Availability: No items available.

20.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Russell's hidden substitutional theory [electronic resource] / Gregory Landini. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: New York : Oxford University Press, 1998
Online resources:
Availability: No items available.

21.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Commonsense reasoning [electronic resource] / Erik T. Mueller. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Amsterdam ; Boston : Elsevier Morgan Kaufmann, c2006
Online resources:
Availability: No items available.

22.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
The determinacy of long games [electronic resource] / Itay Neeman. by Series: Gruyter series in logic and its applications ; 7.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Walter de Gruyter, c2004
Online resources:
Availability: No items available.

23.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
The mathematics of logic [electronic resource] : a guide to completeness theorems and their applications / Richard W. Kaye. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, 2007
Online resources:
Availability: No items available.

24.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Realizability [electronic resource] : an introduction to its categorical side / Jaap van Oosten. by Series: Studies in logic and the foundations of mathematics ; 152.
Edition: 1st ed.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Oxford : Elsevier, 2008
Online resources:
Availability: No items available.

25.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
An introduction to non-classical logic [electronic resource] : from if to is / Graham Priest. by Series: Cambridge introductions to philosophy
Edition: 2nd ed.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge, UK ; New York : Cambridge University Press, 2008
Online resources:
Availability: No items available.

26.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Andrzej Mostowski and foundational studies [electronic resource] / edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny. by
Material type: Text Text; Format: available online remote; Nature of contents: festschrift biography; Literary form: Not fiction
Publication details: Amsterdam ; Washington, D.C. : Ios Press, c2008
Online resources:
Availability: No items available.

27.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Institution-independent model theory [electronic resource] / Razvan Diaconescu. by Series: Studies in universal logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Basel ; Boston : Birkhauser, c2008
Online resources:
Availability: No items available.

28.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Mathematical logic [electronic resource] / Ian Chiswell and Wilfrid Hodges. by Series: Oxford texts in logic ; 3.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: London ; New York : Oxford University Press, 2007
Online resources:
Availability: No items available.

29.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
New essays on Tarski and philosophy [electronic resource] / edited by Douglas Patterson. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Oxford ; New York : Oxford University Press, 2008
Online resources:
Availability: No items available.

30.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
31.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Logic and automata [electronic resource] : history and perspectives / edited by Jorg Flum, Erich Gradel, and Thomas Wilke. by Series: Texts in logic and games ; v. 2.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Amsterdam : Amsterdam University Press, c2008
Online resources:
Availability: No items available.

32.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
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: available online remote; Literary form: Not fiction
Publication details: Amsterdam : Amsterdam University Press, c2008
Online resources:
Availability: No items available.

33.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
New perspectives on games and interaction [electronic resource] / edited by Krzysztof R. Apt, Robert Van Rooij. by Series: Texts in logic and games ; v. 4.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Amsterdam : Amsterdam University Press, c2008
Online resources:
Availability: No items available.

34.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Propositions, functions, and analysis [electronic resource] : selected essays on Russell's philosophy / Peter Hylton. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 2005
Online resources:
Availability: No items available.

35.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Handbook of mathematical logic [electronic resource] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]. by Series: Studies in logic and the foundations of mathematics ; v. 90.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Amsterdam ; New York : North-Holland Pub. Co., 1977
Online resources:
Availability: No items available.

36.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Logical reasoning with diagrams [electronic resource] / edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]. by Series: Studies in logic and computation
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: New York : Oxford University Press, 1996
Online resources:
Availability: No items available.

37.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Intermediate logic [electronic resource] / David Bostock. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1997
Online resources:
Availability: No items available.

38.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
39.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Perspectives in logic [electronic resource] : logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 2010
Online resources:
Availability: No items available.

40.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
The birth of model theory [electronic resource] : Lowenheim'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: available online remote; Literary form: Not fiction
Publication details: Princeton, N.J. ; Oxford : Princeton University Press, c2004
Online resources:
Availability: No items available.

41.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Door wetenschap tot wijsheid [electronic resource] : verzameling wijsgerige studien / door Evert W. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Assen : Amsterdam : Gorcum-Prakke&Prakke ; Amsterdam Academic Archive, 1964
Online resources:
Availability: No items available.

42.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
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: available online remote; Literary form: Not fiction
Publication details: Amsterdam ; New York : Rodopi, 2008
Online resources:
Availability: No items available.

43.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
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: available online remote; Literary form: Not fiction
Publication details: Amsterdam ; New York : Rodopi, 2007
Online resources:
Availability: No items available.

44.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Essays in the philosophy and history of logic and mathematics [electronic resource] / Roman Murawski ; foreword, Jan Wolenski. by Series: Poznan 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 resources:
Availability: No items available.

45.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
The search for mathematical roots, 1870-1940 [electronic resource] : logics, set theories and the foundations of mathematics from Cantor through Russell to Godel / 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 resources:
Availability: No items available.

46.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Mathematical reasoning [electronic resource] : patterns, problems, conjectures, and proofs / Raymond S. Nickerson. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: New York : Psychology Press, c2010
Online resources:
Availability: No items available.

47.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
The origin of the logic of symbolic mathematics [electronic resource] : Edmund Husserl and Jacob Klein / Burt C. Hopkins. by Series: Studies in Continental thought
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Bloomington : Indiana University Press, c2011
Online resources:
Availability: No items available.

48.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Twenty-five years of constructive type theory [electronic resource] : proceedings of a congress held in Venice, October 1995 / edited by Giovanni Sambin and Jan M. Smith. by Series: Oxford logic guides ; 36. | Oxford science publications
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1998
Other title:
  • 25 years of constructive type theory
Online resources:
Availability: No items available.

49.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
An introduction to practical formal methods using temporal logic [electronic resource] / Michael Fisher. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, c2011
Online resources:
Availability: No items available.

50.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
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: available online remote; Literary form: Not fiction
Publication details: Singapore ; Hackensack, NJ : World Scientific, c2010
Online resources:
Availability: No items available.

51.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
52.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Set theory, arithmetic, and foundations of mathematics [electronic resource] : theorems, philosophies / edited by Juliette Kennedy, Roman Kossak. by Series: Lecture notes in logic ; 36.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 2011
Online resources:
Availability: No items available.

53.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Logical dynamics of information and interaction [electronic resource] / Johan van Benthem. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 2011
Online resources:
Availability: No items available.

54.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
55.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Quantification [electronic resource] : transcending beyond Frege's boundaries : a case study in transcendental-metaphysical logic / by Aleksy Moczanow. 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 resources:
Availability: No items available.

56.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Frege [electronic resource] : importance and legacy / edited by Matthias Schirn. by Series: Perspectives in analytical philosophy ; Bd. 13.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Walter de Gruyter, 1996
Online resources:
Availability: No items available.

57.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Logicism and its philosophical legacy [electronic resource] / William Demopoulos. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 2013
Online resources:
Availability: No items available.

58.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Qualitative spatial and temporal reasoning [electronic resource] / Gerard Ligozat. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: London, U.K. : Hoboken, N.J. : ISTE ; Wiley, 2012
Online resources:
Availability: No items available.

59.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Alan Turing [electronic resource] : his work and impact / edited by S. Barry Cooper and J. van Leeuwen. by
Material type: Text Text; Format: electronic available online remote; Nature of contents: biography; Literary form: Not fiction
Publication details: Amsterdam ; Boston : Elsevier, 2013
Online resources:
Availability: No items available.

60.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Principles of truth / Volker Halbach, Leon Horsten (editors). Series: Epistemische Studien Schriften zur Erkenntnis-- und Wissenschaftstheorie ; Band 1
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Frankfurt : Ontos verlag, 2003
Online resources:
Availability: No items available.

61.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Principles of truth / Volker Halbach, Leon Horsten. 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 resources:
Availability: No items available.

62.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
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 resources:
Availability: No items available.

63.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
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 resources:
Availability: No items available.

64.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Effective mathematics of the uncountable / edited by Noam Greenberg [and three others]. by Series: Lecture notes in logic ; 41
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge, United Kingdom : Cambridge University Press, 2013
Online resources:
Availability: No items available.

65.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Essays on Wittgenstein's Tractatus / edited by Irving M. Copi and Robert W. Beard. by Series: Routledge Library Editions: Wittgenstein ; 1
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Oxfordshire, England : Routledge, 2007Copyright date: 1966
Online resources:
Availability: No items available.

66.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Kripke's worlds : an introduction to modal logics via Tableaux / Olivier Gasquet [and three others]. by Series: Studies in universal logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Basel ; New York : Springer, [2014]Copyright date: 2014
Online resources:
Availability: No items available.

67.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Infinity and truth / editors, Chitat Chong, National University of Singapore, Singapore [and three others]. by Series: Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ; v. 25.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: New Jersey : World Scientific, [2014]Copyright date: 2014
Online resources:
Availability: No items available.

68.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Roads to infinity : the mathematics of truth and proof / John Stillwell. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Natick, Massachusetts : A K Peters, [2010]Copyright date: 2010
Online resources:
Availability: No items available.

69.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Logic without borders / edited by Asa Hirvonen, Juha Kontinen, Roman Kossak and Andres Villaveces. by Series: Ontos mathematical logic ; volume 5.
Material type: Text Text; Format: available online remote; Nature of contents: biography; Literary form: Not fiction
Publisher: Boston : De Gruyter, [2015]Copyright date: 2015
Online resources:
Availability: No items available.

70.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Logic, computation, hierarchies / edited by Vasco Brattka, Hannes Diener, Dieter Spreen. by Series: Ontos mathematical logic ; v. 4.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publisher: Boston : De Gruyter, [2014]Copyright date: 2014
Online resources:
Availability: No items available.

71.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Folk algebras in algebra [electronic resource] : logic and computer science / Marcelo Fabian Frias. by Series: Advances in logic ; v. 2.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: River Edge, NJ : World Scientific, 2002
Online resources:
Availability: No items available.

72.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
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: 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 resources:
Availability: No items available.

73.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
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: available online remote; Literary form: Not fiction
Publication details: Hackensack, NJ : World Scientific, c2010
Online resources:
Availability: No items available.

74.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Symbolic computation and education [electronic resource] / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Singapore ; Hackensack, NJ : World Scientific, c2007
Online resources:
Availability: No items available.

75.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Recent progress in the Boolean domain / edited by Bernd Steinbach. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014Copyright date: 2014
Online resources:
Availability: No items available.

76.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Formalism and beyond : on the nature of mathematical discourse / edited by Godehard Link. by Series: Logos : Studien zur Logik, Sprachphilosophie und Metaphysik ; volume 23
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Boston : De Gruyter, [2014]Copyright date: 2014
Online resources:
Availability: No items available.

77.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Money-pump arguments / Johan E. Gustafsson. by Series: Cambridge elements. Elements in decision theory and philosophy,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2022
Online resources:
Availability: No items available.

78.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Advances in experimental philosophy of logic and mathematics / edited by Andrew Aberdein and Matthew Inglis. by Series: Advances in experimental philosophy
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: London : Bloomsbury Academic, 2019
Online resources:
Availability: No items available.

79.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Philosophical approaches to the foundations of logic and mathematics : in honor of professor Stanisaw Krajewski / edited by Marcin Trepczynski. by Series: Poznan studies in the philosophy of the sciences and the humanities ; Volume 114.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Leiden ; Boston : Brill, [2021]Copyright date: 2021
Online resources:
Availability: No items available.

80.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
81.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
A first course in mathematical logic and set theory / Michael L. O'Leary. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Hoboken, New Jersey : Wiley, 2016Copyright date: 2016
Online resources:
Availability: No items available.

82.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Logic and discrete mathematics : a concise introduction / Willem Conradie, Valentin Goranko. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: West Sussex, England : Wiley, 2015Copyright date: 2015
Online resources:
Availability: No items available.

83.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
84.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Hands-on Julia programming : an authoritative guide to the production-ready systems in Julia / Sambit Kumar Dash. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Delhi, India : BPB Publications, [2022]Copyright date: �2022
Online resources:
Availability: No items available.

85.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Problemas de Cabecera : Pensados Durante Horas de Vigilia / Lewis Carroll (Charles Lutwidge Dodgson) ; traduccion de Elsa Puente Vazquez. by Series: Textopias ; Volume 3.
Edition: First edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Ciudad de Mexico : Bonilla Artigas Editores, 2018
Online resources:
Availability: No items available.

86.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
The continuum companion to philosophical logic / edited by Richard Pettigrew and Leon Horsten. by Series: Continuum contemporaries
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: London ; New York, New York : Continuum, 2011Copyright date: 2011
Online resources:
Availability: No items available.

87.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
The foundations of mathematics / Ian Stewart and David Tall. by
Edition: Second edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: New York, New York : Oxford University Press, 2015Copyright date: 2015
Online resources:
Availability: No items available.

88.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Formal logic : a philosophical approach / Paul Hoyningen-Huene ; translated by Alex Levine. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Language: English Original language: German Publisher: Pittsburgh, Pennsylvania : University of Pittsburgh Press, [2004]Copyright date: 2004
Online resources:
Availability: No items available.

89.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic / Aristides Baltas. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Pittsburgh, Pennsylvania : University of Pittsburgh Press, 2012Copyright date: 2012
Online resources:
Availability: No items available.

90.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Tractatus Logico-Philosophicus de Wittgenstein - le Statut de la Philosophie (Commentaire) : Comprendre la Philosophie Avec LePetitPhilosophe. fr / Patrick Olivero. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cork, Ireland : Lemaitre Publishing, [2014]Copyright date: �2014
Online resources:
Availability: No items available.

91.
Amazon cover image
Image from Amazon.com
Syndetics cover image
Image from Syndetics
Image from Google Jackets
Image from OpenLibrary
Autonomy Platonism and the indispensability argument / Russell Marcus. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Lanham, Maryland : Lexington Books, 2015Copyright date: 2015
Online resources:
Availability: No items available.

Not finding what you're looking for?

Ⓒ 2020 Dedan Kimathi University of Technology

Library