Refine your search

Your search returned 233 results.

Sort
Unhighlight
Select all Clear all
Results
1.
Foundations of logic, 1903-05 / Bertrand Russell ; edited by Alasdair Urquhart with the assistance of Albert C. Lewis. by Series: Russell, Bertrand, Works ; v. 4.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London ; New York : Routledge, 1994
Online resources:
Availability: Items available for loan: Indore (1)Call number: 192 R8F6.

Place hold
2.
Tractatus logico-philosophicus / Ludwig Wittgenstein ; translated by D.F. Pears and B.F. McGuinness ; with an introduction by Bertrand Russell. by Series: Routledge classics
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Original language: German
Publication details: London : New York : Routledge, c2001
Online resources:
Availability: Items available for loan: Kozhikode (1)Call number: 16(510) WIT/T .

Place hold
3.
Computational logic and human thinking : how to be artificially intelligent / Robert Kowalski. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 2011
Online resources:
Availability: Items available for loan: Kozhikode (1)Call number: 510.6 KOW/C .

Place hold
4.
Truth & assertibility / Nik Weaver (Washington University in St. Louis, USA). by
Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction
Publisher: New Jersey : World Scientific, [2015]
Other title:
  • Truth and assertibility
Availability: Items available for loan: Kozhikode (1)Call number: .

Place hold
5.
Introduction to symbolic logic [by] Karl J. Smith. by Series: Contemporary undergraduate mathematics series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Monterey, Calif., Brooks/Cole Pub. Co. [1974]
Availability: Items available for loan: Ahmedabad (1)Call number: 164 .

Place hold
6.
Quantitative analysis methods for substantive analysts / Henry F. DeFrancesco. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Los Angeles : Melville Pub. Co., [1975]
Availability: Items available for loan: Ahmedabad (1)Call number: 519.9 .

Place hold
7.
Mathematical foundations of computer science 1999 / M. Kutylowski, Leszek Pacholski, and Tomasz Wierzbicki by
Material type: Text Text; Literary form: Not fiction
Publication details: Berlin: Springer, 1998
Availability: Items available for loan: Indore (1)Call number: 004.024510 M2K8.

Place hold
8.
A Readable Introduction to Real Mathematics by
Edition: 1st Ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Heidelberg Springer 2014
Online resources:
Availability: Items available for loan: Udaipur (1)Call number: 510.

Place hold
9.
Learning to reason by Series:
Edition:
Material type: Text Text
Publication details: New York John wiley & sons inc. 2000
Availability: Items available for loan: Kozhikode (1)Call number: 510.6 ROD.

Place hold
10.
The search for mathematical roots, 1870-1940: logics, set theories and the foundations of mathematics from cantor through Russell to to Godel Grattan-Guinness, I. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Jersey Princeton University Press 2000
Availability: Items available for loan: Ahmedabad (1)Call number: 510 G7S3.

Place hold
11.
Kurt Godel: collected works by
Publication details: Oxford Clarendon Press 2003
Availability: Items available for loan: Ahmedabad (1)Call number: 164 K8-IV.

Place hold
12.
Kurt Godel: collected works by
Publication details: Oxford Clarendon Press 2003
Availability: Items available for loan: Ahmedabad (1)Call number: 164 K8-V.

Place hold
13.
Paradox and paraconsistency: conflict resolution in the abstract sciences Woods, John by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge Cambridge University Press 2003
Availability: Items available for loan: Ahmedabad (1)Call number: 510.1 W6P2.

Place hold
14.
The search for certainty: a philosophical account of foundations of mathematics Giaquinto, M. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Oxford Clarendon Press 2002
Availability: Items available for loan: Ahmedabad (1)Call number: 511.3 M2S3.

Place hold
15.
The oxford handbook of philosophy of mathematics and logic by Series: Oxford handbooks in philosophy
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york Oxford University Press 2005
Availability: Items available for loan: Ahmedabad (1)Call number: 510.1 O9.

Place hold
16.
The essential Turing: seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Oxford Clarendon Press 2005
Availability: Items available for loan: Ahmedabad (1)Call number: 510 T8.

Place hold
17.
How to read and do proofs : an introduction to mathematical thought processes Solow, Daniel by
Edition: 4th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Jersey John Wiley 2005
Availability: Items available for loan: Ahmedabad (1)Call number: 511.36 S6H6.

Place hold
18.
Computability and logic Boolos, George by
Edition: 5th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, New York Cambridge University Press 2007
Availability: Items available for loan: Ahmedabad (1)Call number: 511.352 B6C6/2007.

Place hold
19.
Philosophy of mathematics and deductive structure in Euclid's elements Mueller, Ian by Series: Dover books on mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York Dover Publications, Inc. 2006
Availability: Items available for loan: Ahmedabad (1)Call number: 510.1 M8P4.

Place hold
20.
No cover image available
Foundations of mathematical logic Curry, Haskell B. by Series: McGraw-Hill series in higher mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York McGraw-Hill Book Company, Inc. 1963
Availability: Items available for loan: Ahmedabad (1)Call number: 510.1 C8F6.

Place hold
Pages

Powered by Koha