Wellcome

Refine your search

Your search returned 131 results.

Sort
Results
Mathematical logic Yu L. Ershov, E. A. Palyutin

by Ershov, Yu L | Palyutin, E. A.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Moscow : MIR Publishers, 1984Availability: Items available for loan: Mysore University Main Library (1) Call number: 510.01 ERS P .
An introduction to analysis Wilson M. Zaring

by Zaring, Wilson M.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : The Macmillan Company, 1967Availability: Items available for loan: Mysore University Main Library (1) Call number: 517 LAN .
First course in mathematical logic Patrick Suppes, Shirley Hill

by Suppes, Patrick | Hill, Shirley.

Series: A Blaisdell book in pure and applied sciencesMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Blaisdell Publishing Company, 1964Availability: Items available for loan: Mysore University Main Library (1) Call number: 510 SUP H .
Introduction to the foundations of mathematics Raymond L. Wilder

by Wilder, Raymond L.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : John Wiley and Sons, Inc., 1952Availability: Items available for loan: Mysore University Main Library (1) Call number: 510 WIL.
Introduction to the foundation of mathematics Raymond L. Wilder

by Wilder, Raymond L.

Edition: 2nd ed. Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: London : John Wiley and Sons, Inc., 1952Availability: Items available for loan: Mysore University Main Library (1) Call number: 510 WIL .
A survey of symbolic logic C. I. Lewis

by Lewis, C. I.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Dover Publications, Inc., 1960Availability: Items available for loan: Mysore University Main Library (1) Call number: 512 LEW.
The critical approach to science and philosophy edited by Mario Bunge

by Bunge, Mario [editor ].

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: London : The Free Press of Glencoe, 1964Availability: Items available for loan: Mysore University Main Library (1) Call number: 501 BUN.
Symbolic logic John Venn

by Venn, John.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Macmillan and Co., 1894Availability: Items available for loan: Mysore University Main Library (1) Call number: 451 VEN .
An introduction to Hilbert space and quantum logic

by Cohen, David W.

Series: Problem books inmathematicsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Springer-Verlag, 1989Availability: Items available for loan: Mysore University Main Library (1) Call number: 513.82 COH.
Principia mathematica : to *56 A. N. Whitehead, B. Russell

by Whitehead, A. N | Russell, B.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge : At The University Press, 1962Availability: Items available for loan: Mysore University Main Library (2) Call number: 510, ...
Introduction to symbolic logic James D. Carney

by Carney, James D.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Jersey : Prentice-Hall, Inc., 1970Availability: Items available for loan: Mysore University Main Library (1) Call number: 164 CAR.
Course of mathematical logic Roland Fraïssé

by Fraïssé, Roland.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boston : D. Reidel Publishing Company, 1972Availability: Items available for loan: Mysore University Main Library (1) Call number: 164 FRA 2.
Kreiseliana : about and around Georg Kreisel edited by Piergiorgio Odiffeddi

by Odiffeddi, Piergiorgio [editor ].

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Wellesley : A. K. Peters, 1996Availability: Items available for loan: Mysore University Main Library (1) Call number: 511 KRE P .
Logic design theory Nripendra N. Biswas

by Biswas, Nripendra Nath.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : Prentice Hall, 1993Availability: Items available for loan: PG Center Hassan (1) Call number: 621.381042BIS.
Basic concepts of mathematics and logic

by Gemignani, Michael C.

Language: English Publication details: London : Addisons Wesley Publishing co. INC, 1968Availability: Items available for loan: Mysore University Main Library (1) Call number: 164 GEM.
Hyperproof

by Barwise, Jon | Etchemendy, John [Associate Author].

Series: CSLI lecture notes, no. 42 Language: English Publication details: Stanford : CSLI Publications, 1994Availability: Items available for loan: Mysore University Main Library (1) Call number: 160.2855369 BAR.E.
104 Number theory problems Titu Andreescu

by Andreescu, Titu | Andrica, D | Feng, Zuming.

Language: English Publication details: Boston : Birkhauser, 2007Availability: Items available for loan: Mysore University Main Library (1) Call number: 510 AND A.
Temporal logic : mathematical foundations and computational aspects Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds.

by Gabbay, Dov M | Hodkinson, Ian | Reynolds, Mark | Finger, Marcelo.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1994Availability: Items available for loan: Mysore University Main Library (1) Call number: 511.3 GAB H.
Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá / edited by Xavier Caicedo, Carlos H. Montenegro.

by Caicedo, Xavier [editor] | Montenegro, Carlos H [editor].

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Marcel Dekker, 1999Availability: Items available for loan: Mysore University Main Library (1) Call number: 511.3 CAI M.
Mathematical jurisprudence and mathematical ethics : a mathematical simulation of the evaluative and the normative attitudes to the rigoristic sub-systems of the positive law and of the natural-law-and-morals / V.O. Lobovikov.

by Lobovikov, V. O.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Ekaterinburg : The Urals State University Press, 1999Availability: Items available for loan: Mysore University Main Library (1) Call number: 171.2 LOB.
Pages

No. of hits (from 9th Mar 12) :

Powered by Koha