opac header image

Refine your search

Your search returned 172 results.

Not what you expected? Check for suggestions
Sort
Results
141.
A course in mathematical logic for mathematicians

by Manin, Yu. I | Koblitz, Neal | Zilber, Boris.

Series: Graduate texts in mathematics,vol. 53Edition: 2nd 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 MAN-C.

142.
Geometry of state spaces of operator algebras

by Alfsen, Erik M | Shultz, Frederic W.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boston Birkhäuser 2003Availability: Not available: NISER LIBRARY: Checked out (1).

143.
Two valued interative systems of mathematical logic (the)

by Post, E.L.

Series: Annals of mathematics studies, number 5Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton PUP 1941Availability: No items available.

144.
Two valued interative systems of mathematical logic (the)

by Post, E.L.

Series: Annals of mathematics studies, number 5Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton PUP 1941Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.6 POS-T. Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.6 POS-T.

145.
Introduction to mathematical logic

by Church, Alonzo.

Series: Princeton landmarks in mathematicsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton PUP 1956Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.6 CHO-I.

146.
Classical groups, derangements and primes

by Burness, Timothy C | Giudici, Michael.

Series: Australian mathematical society lecture series, vol. 25Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge CUP 2016Availability: Items available for loan: SMS Library (1)Call number: 512.54 BUR-C. Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 512.54 BUR-C.

147.
Tools of mathematical reasoning (the)

by Lakins, Tamara J.

Series: Pure & applied undergraduate texts, vol. 26Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Rhode Island AMS 2016Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.6 LAK-T.

148.
Foundations of mathematics :logic at Harvard : essays in honor of Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA

by Edited by Caicedo,Andres Eduardo...[et al] | Cummings,James | Koellner,Peter | Larson,Paul B.

Series: Contemporary mathematics 690Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Rhode Island AMS 2017Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510 CAI-F.

149.
Introduction to mathematical logic

by Mendelson, E.

Series: Textbook in MathematicsEdition: 6th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boca raton CRC Press 2015Availability: Items available for loan: NISER LIBRARY (3)Call number: 510.6 MEN-I, ... Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.6 MEN-I.

150.
Logic for computer science:foundations of automatic theorem proving

by Gallier, Jean H.

Edition: 2nd. ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Dover Publication 2015Availability: Items available for loan: NISER LIBRARY (4)Call number: 004.421 GAL-L, ...

151.
My best mathematical and logic puzzles /

by Gardner, Martin.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Dover, 1994Availability: Items available for loan: NISER LIBRARY (1)Call number: 51-8 GAR-M.

152.
The collected papers of Bertrand Russell volume 4 : foundations of logic, 1903-05 /

by Urquhart, Alasdair | Lewis, Albert C.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: London ; New York : Routledge, 1994Availability: Items available for loan: NISER LIBRARY (1)Call number: 51-7 URQ-C.

153.
Hilbert's tenth problem : an introduction to logic, number theory, and computability /

by Murty, Maruti Ram | Fodden, Brandon.

Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction Language: English Availability: Not available: NISER LIBRARY: Checked out (1).

154.
Proof is in the pudding (The) : The changing nature of mathematical proof

by Krantz, Steven G.

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

155.
Mathematical logic

by Ershov, Yu L.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Moscow: Mir Publishers, 1984Availability: Items available for loan: SMS Library (1)Call number: 510.6 ERS-M.

156.
Introduction to logic

by Suppes, Patrick.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi: Litton educational Publishing, 1957Availability: Items available for loan: SMS Library (1)Call number: 510.63 SUP-I.

157.
Introduction to logic

by Suppes, Patrick.

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

158.
Critical thinking : conceptual perspectives and practical guidelines

by Dwyer, christopher P.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: United Kingdom: Cambridge University Press, 2017Availability: Items available for loan: NISER LIBRARY (1)Call number: 316.257 DWY-C.

159.
Foundations of mathematics (the)

by Stewart, Ian | Tall, David.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York: Oxford University Press, 2015Availability: Items available for loan: NISER LIBRARY (2)Call number: 510.2 STE-F, ...

160.
Communication complexity

by Kushilevitz, Eyal | Nisan, Noam.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge: Cambridge University Press, 1997Availability: Items available for loan: SMS Library (1)Call number: 519.72 KUS-C.

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