opac header image

Refine your search

Your search returned 172 results.

Not what you expected? Check for suggestions
Sort
Results
21.
Logic, sets and recursion Robert L. Causey

by Causey, RL.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boston JBP 2010Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.63 CAU-L.

22.
First order mathematical logic A Margaris

by Margaris, A.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Dover 1990Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.63 MAR-F.

23.
Elements of mathematical logic(the) Paul C. Rosenbloom

by Rosenbloom, PC.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Mineola Dover 2005Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.6 ROS-E.

24.
Mathematical introduction to logic H.B Enderton

by Enderton, H.B.

Edition: 2nd Ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: USA Elsevier 2008Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.63 END-M. Not available: NISER LIBRARY: Checked out (1).

25.
Course on mathematical logic S.M. Srivastava

by Srivastava, SM.

Series: UniversitytextMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Work Springer 2008Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.6 SRI-C.

26.
Relation algebras R.D. Maddux

by Maddux, RD.

Series: Studies in logic and the foundations of mathematicsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boston Elsevier 2006Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 512 MAD-R.

27.
Power of logical thinking Marlin Vos Savant

by Savant,Marlin Vos.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York St. Martin Press 1996Availability: Items available for loan: NISER LIBRARY (1)Call number: 162 SAV-P.

28.
Introduction to probability and inductive logic(an) Ian Hacking

by Hacking, Ian.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York CUP 2009Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 519.21 HAC-I.

29.
Introduction to mathematical proofs: a transition C E. Roberts

by Roberts, C E.

Series: Textbooks in mathematicsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boca raton CRC 2010Availability: Items available for loan: NISER LIBRARY (1)Call number: 510 ROB-I.

30.
Introduction to mathematics of satisfiability Victor W. Marek

by Marek, Victor W.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boca Raton CRC 2009Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.633 MAR-I.

31.
Concise introduction to mathematical logic(a) Wolfgang Rautenberg

by Rautenberg, Wolfgang.

Series: UniversitextEdition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 2010Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.6 RAU-C.

32.
Handbook of mathematical induction:theory and applications David S. Gunderson

by Gunderson, David S.

Series: Discrete mathematics and its applicationsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boca Raton CRC 2011Availability: Items available for loan: NISER LIBRARY (3)Call number: 510.646 GUN-H, ...

33.
Concise introduction to mathematical logic(a) Wolfgang Rautenberg

by Rautenberg, Wolfgang.

Series: UniversitextEdition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 2010Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.6 RAU-C.

34.
Introduction to mathematics of satisfiability Victor W. Marek

by Marek, Victor W.

Series: Chapman & hall/ crc studies in informatics seriesMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boca Raton CRC 2009Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.633 MAR-I.

35.
Discrete structures, logic, and computability James L. Hein

by Hein, James L.

Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi Jones & Bartlett 2010Availability: Items available for loan: NISER LIBRARY (1)Call number: 512.817 HEI-D.

36.
Popper: the two fundamental problems of the theory of knowledge edited by Troels Eggers Hansen

by Hansen, Troels Eggers.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: London Routledge 2012Availability: Items available for loan: NISER LIBRARY (1)Call number: 165 HAN-P.

37.
Evolution of principia mathematica : Bertrand russell's manuscripts and notes for the second edition Bernard Linsky

by Linsky, Bernard.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge CUP 2011Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.21 LIN-E.

38.
The q-theory of Finite Semigroups

by Rhodes, John., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Boston, MA Springer US 2009Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1).

39.
Essays in Constructive Mathematics

by Edwards, Harold M., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: New York, NY Springer New York 2005Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 510, 23.

40.
18 Unconventional Essays on the Nature of Mathematics

by Hersh, Reuben., editor.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: New York, NY Springer New York 2006Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 510, 23.

Pages
© 2024 Copyright: Customised and Maintained by Central Library NISER

Central Library, NISER Library Building, PO-Jatni, Khurda, Odisha - 752050, India | Email: libniser@niser.ac.in Phone: +91-674-2494171

Powered by Koha