Results
|
41.
|
A Modern Perspective on Type Theory by Kamareddine, Fairouz., author. Material type: Computer file; Format:
electronic
Language: English Publication details: Dordrecht Springer Netherlands 2005Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.
|
|
42.
|
|
|
43.
|
Handbook of Set Theory by Foreman, Matthew., editor. 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: 511.3, 23.
|
|
44.
|
Analysis and Synthesis of Logics by Carnielli, Walter., author. Material type: Computer file; Format:
electronic
Language: English Publication details: Dordrecht Springer Netherlands 2008Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.
|
|
45.
|
|
|
46.
|
Towards Mathematical Philosophy by Makinson, David., editor. Material type: Computer file; Format:
electronic
Language: English Publication details: Dordrecht Springer Netherlands 2009Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.
|
|
47.
|
Proof Theory for Fuzzy Logics by Metcalfe, George., author. Material type: Computer file; Format:
electronic
Language: English Publication details: Dordrecht Springer Netherlands 2009Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.
|
|
48.
|
|
|
49.
|
|
|
50.
|
Proofs and Fundamentals by Bloch, Ethan D., author. Material type: Computer file; Format:
electronic
Language: English Publication details: New York, NY Springer New York 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.
|
|
51.
|
Reading, Writing, and Proving by Daepp, Ulrich., author. Material type: Computer file; Format:
electronic
Language: English Publication details: New York, NY Springer New York 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.
|
|
52.
|
Combinatorial Set Theory by Halbeisen, Lorenz J., author. Material type: Computer file; Format:
electronic
Language: English Publication details: London Springer London, Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.
|
|
53.
|
|
|
54.
|
|
|
55.
|
|
|
56.
|
Dude, Can You Count? by Constanda, Christian., editor. Material type: Computer file; Format:
electronic
Language: English Publication details: London Springer London 2009Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 510, 23.
|
|
57.
|
|
|
58.
|
|
|
59.
|
Algorithmic Composition by Nierhaus, Gerhard., author. Material type: Computer file; Format:
electronic
Language: English Publication details: Vienna Springer Vienna 2009Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 518.1, 23.
|
|
60.
|
Field Arithmetic by Fried, Michael D., author. Edition: Second Edition.Material type: Computer file; Format:
electronic
Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2005Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 512, 23.
|