Search

Your search returned 90 results.

Not what you expected? Check for suggestions

Results
	81.	No cover image available No cover image available Natural Deduction, Hybrid Systems and Modal Logics by Indrzejczak, Andrzej., author. Material type: Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands 2010Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 160, 23. Place hold Log in to add tags Add to cart (remove)
	82.	No cover image available No cover image available Hybrid Logic and its Proof-Theory by Braüner, Torben., author. Material type: Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 160, 23. Place hold Log in to add tags Add to cart (remove)
	83.	No cover image available No cover image available Dual Tableaux: Foundations, Methodology, Case Studies by Orlowska, Ewa., author. Material type: Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands, Imprint: Springer, 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23. Place hold Log in to add tags Add to cart (remove)
	84.	No cover image available No cover image available Methods of Cut-Elimination by Leitsch, Alexander., author. Material type: Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23. Place hold Log in to add tags Add to cart (remove)
	85.	No cover image available No cover image available Advanced Lukasiewicz calculus and MV-algebras by Mundici, D. Material type: Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23. Place hold Log in to add tags Add to cart (remove)
	86.	No cover image available No cover image available Ultimate Explanations of the Universe by Heller, Michael., author. Material type: Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg, Imprint: Springer, 2009Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 520, 23. Place hold Log in to add tags Add to cart (remove)
	87.	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; 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. Log in to add tags Add to cart (remove)
	88.	Sampling in combinatorial and geometric set systems by Mustafa,Nabil H. Series: Mathematical surveys and monograohs. Vol. 265 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Providence: AMS, 2022Availability: Items available for loan: NISER LIBRARY (1)Call number: 519.16 MUS-S. Place hold Log in to add tags Add to cart (remove)
	89.	Foundations of analysis by Taylor, Joseph L. Series: Pure and applied undergraduate texts ; 18Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Hyderabad : Universities Press, 2016Online access: Table of Content \| Reviews Availability: Items available for loan: SMS Library (1)Call number: 517 TAY-F. Place hold Log in to add tags Add to cart (remove)
	90.	Mathematical logic by Ebbinghaus, Heinz-Dieter \| Flum, Jörg \| Thomas, Wolfgang. Series: Graduate texts in mathematics ; 291.Edition: 3rd ed.Material type: Text; Format: print ; Literary form: Not fiction Publication details: Switzerland : Springer Nature, 2021Online access: Table of contents \| Reviews Availability: Items available for loan: SMS Library (1)Call number: 510.6 EBB-M. Place hold Log in to add tags Add to cart (remove)

First
Previous
1
2
3
4
5

© 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