Results
|
81.
|
Logica Universalis by Beziau, Jean-Yves., editor. Edition: Second Edition.Material type: Computer file; Format:
electronic
Language: English Publication details: Basel Birkhäuser Basel 2007Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.
|
|
82.
|
|
|
83.
|
|
|
84.
|
Guida alla teoria degli insiemi by Lolli, Gabriele., author. Material type: Computer file; Format:
electronic
Language: English Publication details: Milano Springer Milan 2008Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 510, 23.
|
|
85.
|
Un mondo di idee by Ciliberto, Ciro., editor. Material type: Computer file; Format:
electronic
Language: English Publication details: Milano Springer Milan 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 519, 23.
|
|
86.
|
|
|
87.
|
Logica: Metodo Breve by Mundici, Daniele., author. Material type: Computer file; Format:
electronic
Language: English Publication details: Milano Springer Milan, Imprint: Springer, 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.
|
|
88.
|
Logic: A Brief Course by Mundici, Daniele., author. Material type: Computer file; Format:
electronic
Language: English Publication details: Milano Springer Milan, Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.
|
|
89.
|
Non solo calcoli by Villani, Vinicio., author. Material type: Computer file; Format:
electronic
Language: English Publication details: Milano Springer Milan, Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.
|
|
90.
|
|
|
91.
|
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.
|
|
92.
|
|
|
93.
|
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.
|
|
94.
|
|
|
95.
|
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.
|
|
96.
|
|
|
97.
|
|
|
98.
|
|
|
99.
|
Foundations of mathematics (the) by Stewart, Ian | Tall, David. Edition: 2nd ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New York: Oxford University Press, 2015Availability: Not available: NISER LIBRARY: Checked out (2).
|
|
100.
|
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.
|