opac header image

Refine your search

Your search returned 174 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Mathematical logic H.D. Ebbinghaus, J.Flum and W. Thomas

by Ebbinghaus, H.D | Axler, S [ed.] | Flum, J [Auth.].

Series: Undergraduate texts in mathematicsEdition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 1994Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.6 EBB-M.

2.
Course in mathematical logic(a) Yu I Manin

by Manin, Yu I | Gehring, F W [ed.] | Koblitz, Neal [Auth.].

Series: Graduates texts in MathematicsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer-Verlag 1977Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.6 MAN-C.

3.
Introduction to mathematical logic Elliott Mendelson

by Mendelson, E | Rosen, KH [ed.].

Series: Discrete mathematics and its applications ; 48Edition: 5th ed.Material 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.65 MEN-I. Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.65 MEN-I.
  (1 votes)
4.
Discrete mathematical structures Bernard Kolman, Robert C. Busby, Sharon Cutler Ross and Nadeem-ur-Rehman

by Kolman, B | Busby, RC [Auth.].

Edition: 5th ed. Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi Pearson Prentice Hall 2007Availability: Items available for loan: NISER LIBRARY (10)Call number: 512.817 KOL-D, ...

5.
Graph structure and monadic second-order logic: a language theoretic approach Bruno Courcelle and Joost Engelfriet

by Courcelle, burno | Engelfriet, Joost [Auth.].

Series: Encyclopedia of mathematics and its applications 138Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge CUP 2012Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 519.717 COU-G.

6.
First course in mathematical logic Patrick Suppes and Shirley Hill

by Suppes, P | Hill, S [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Mieola Dover 1964Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.6 SUP-F.

7.
Course in mathematical logic John Bell and Moshe Machover

by Bell, J | Machover, M [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Elsevier 1997Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.6 BEL-C.

8.
Principia mathematica Volume 1 Alfred North Whitehead and Bertrand Russell

by Whitehead, Alfred North | Russell, Bertrand [Auth.].

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Cambridge University Press 2004Availability: Items available for loan: NISER LIBRARY (1)Call number: 510 WHI-P.

9.
Principia mathematica Volume 2 Alfred North Whitehead and Bertrand Russell

by Whitehead, Alfred North | Russell, Bertrand [Auth.].

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Cambridge University Press 2004Availability: Items available for loan: NISER LIBRARY (1)Call number: 510 WHI-P.

10.
Principia mathematica Volume 3 Alfred North Whitehead and Bertrand Russell

by Whitehead, Alfred North | Russell, Bertrand [Auth.].

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Cambridge University Press 2004Availability: Items available for loan: NISER LIBRARY (1)Call number: 510 WHI-P.

11.
Modal logic A Chagrov and M Zakharyaschev

by Chagrov, A | Zakharyaschev ,M [Auth.].

Series: Oxford logic guides 35Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford OUP 1997Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.63 CHA-M.

12.
Real analysis and foundations Steven G Krantz

by Krantz, Steven G.

Series: Studies in advanced MathematicsEdition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boca Raton Champan and Hall/CRC 2000Availability: Items available for loan: NISER LIBRARY (1)Call number: 517.51 KRA-R. Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 517.51 KRA-R.

13.
Real analysis and foundations Steven G Krantz

by Krantz, Steven G.

Series: Studies in advanced MathematicsEdition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boca Raton Champan and Hall/CRC 2000Availability: Items available for loan: NISER LIBRARY (2)Call number: 517.51 KRA-R, ...

14.
Real analysis and foundations Steven G Krantz

by Krantz, Steven G.

Series: Studies in advanced MathematicsEdition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boca Raton Champan and Hall/CRC 2000Availability: Items available for loan: NISER LIBRARY (1)Call number: 517.51 KRA-R.

15.
First order mathematical logic Angelo 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 reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.6 MAR-F.

16.
Fuzzy set theory:and its applications H. J. Zimmermann

by Zimmermann, H.J.

Edition: 4th editionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi Springer 2001Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.22 ZIM-F.

17.
Introduction to mathematical logic Elliott Mendelson

by Mendelson, Elliot.

Edition: 4th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: USA Chapman and hall/crc 2001Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.6 MEN-I.

18.
Logical labyrinths RM Smullyan

by Smullyan, RM.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: wellesley A K Peters 2009Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.63 SMU-L.

19.
Course on mathematical logic(a) S.M. Srivastava

by Srivastava, SM.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 2008Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.6 SRI-C.

20.
Introduction to symbolic logic(an) S. K. Langer

by Langer, SK.

Edition: 3rd Rev ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Dover 1967Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.6 LAN-S.

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