Your search returned 25 results. Subscribe to this search

Not what you expected? Check for suggestions
|
A first course in mathematical logic and set theory

by O'Leary, Michael L.

Material type: book Book Publisher: New Jersey Wiley 2016Availability: Items available for loan: Vikram Sarabhai Library [Call number: 511.3 O5F4] (1).

Paradox and paraconsistency: conflict resolution in the abstract sciences

by Woods, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge Cambridge University Press 2003Availability: Items available for loan: Vikram Sarabhai Library [Call number: 510.1 W6P2] (1).

The search for certainty: a philosophical account of foundations of mathematics

by Giaquinto, M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford Clarendon Press 2002Availability: Items available for loan: Vikram Sarabhai Library [Call number: 511.3 M2S3] (1).

The essential Turing: seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma

by Copeland, Jack B [Editor].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford Clarendon Press 2005Availability: Items available for loan: Vikram Sarabhai Library [Call number: 510 T8] (1).

Logical aspects of question-answering by computer

by Kuhns, J. L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Santa Monica, California Rand Corporation 1969Availability: Items available for reference: Vikram Sarabhai Library [Call number: RC 1969/544 ] (1).

Computability and logic

by Boolos, George | Burgess, John P.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, New York Cambridge University Press 2007Availability: Items available for loan: Vikram Sarabhai Library [Call number: 511.352 B6C6/2007] (1).

Philosophy of mathematics and deductive structure in Euclid's elements

by Mueller, Ian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York Dover Publications, Inc. 2006Availability: Items available for loan: Vikram Sarabhai Library [Call number: 510.1 M8P4] (1).

Foundations of mathematical logic

by Curry, Haskell B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York McGraw-Hill Book Company, Inc. 1963Availability: Items available for loan: Vikram Sarabhai Library [Call number: 510.1 C8F6] (1).

Statistical methods and scientific inference

by Fisher, Ronald A.

Edition: 2nd ed. Revised editionMaterial type: book Book; Format: print ; Literary form: Not fiction Publisher: Edinburgh Oliver and Boyd 1959Availability: Items available for loan: Vikram Sarabhai Library [Call number: 510.1 F4S8] (1).

Mathematical logic and the foundations of mathematics: an introductory survey

by Kneebone, G. T.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London D.Van Nostrand 1963Availability: Items available for loan: Vikram Sarabhai Library [Call number: 510.1 K6M2] (1).

Introductory formal logic of mathematics

by Nidditch, P. H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London University Turorial Press 1957Availability: Items available for loan: Vikram Sarabhai Library [Call number: 510.1 N4I6] (1).

Mathematics and plausible reasoning

by Polya, G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton, N J Princeton University Press 1954Availability: Items available for loan: Vikram Sarabhai Library [Call number: 510.1 P6M2-I] (2).

Principia mathematica to 56

by Whitehead, Alfred North | Russell, Bertrand.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge The University Press 1964Availability: No items available Checked out (1).

An Introduction to mathematical machine theory

by Ginsburg, Seymour.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Massachusetts Addison-Wesley Publishing Company 1962Availability: Items available for loan: Vikram Sarabhai Library [Call number: 510.78 G4I6] (1).

Introductory real analysis

by Munroe, Marshall Evans.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Reading, Mass Addison-Wesley Publishing Company, Inc. 1965Availability: Items available for loan: Vikram Sarabhai Library [Call number: 517.52 M8I6] (1).

Mathematical logic

by Chiswell, Ian | Hodges, Wilfrid.

Publisher: New York Oxford University Press 2007Availability: Items available for loan: Vikram Sarabhai Library [Call number: 511.3 C4M2] (1).

Diamond: a paradox logic

by Hellerstein, N. S.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey World Scientific 2010Availability: Items available for loan: Vikram Sarabhai Library [Call number: 511.3 H3D4] (1).

An introduction to fuzzy logic applications

by Harris, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi Springer 2010Availability: Items available for loan: Vikram Sarabhai Library [Call number: 620.00285632 H2I6] (1).

Logic-based methods for optimization: combining optimization and constraint satisfaction

by Hooker, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York John Wiley & Sons, Inc. 2000Availability: Items available for loan: Vikram Sarabhai Library [Call number: 519.72 H6L6] (1).

The evolution of principia mathematica: Bertrand Russell's manuscripts and notes for the second edition

by Linsky, Bernard.

Publisher: New York Cambridge University Press 2011Availability: Items available for loan: Vikram Sarabhai Library [Call number: 510.1 L4E9] (1).

Powered by Koha