2821.
Leo Esakia on Duality in Modal and Intuitionistic Logics [electronic resource] / edited by Guram Bezhanishvili.
by Bezhanishvili, Guram [edt] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2014Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2822.
Foundations and Practice of Security [electronic resource] : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Pascal Lafourcade.
by Garcia-Alfaro, Joaquin [edt] | Lafourcade, Pascal [edt] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2823.
Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer [electronic resource] / by Mark van Atten.
by Atten, Mark van.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2015Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2824.
Pluralism in Mathematics: A New Position in Philosophy of Mathematics [electronic resource] / by Michèle Friend.
by Friend, Michèle.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2014Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2825.
Handbook of Philosophical Logic [electronic resource] : Volume 17 / edited by Dov M. Gabbay, Franz Guenthner.
by Gabbay, Dov M [edt] | Guenthner, Franz [edt] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2014Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2826.
Past and Present Interactions in Legal Reasoning and Logic [electronic resource] / edited by Matthias Armgardt, Patrice Canivez, Sandrine Chassagnard-Pinet.
by Armgardt, Matthias [edt] | Canivez, Patrice [edt] | Chassagnard-Pinet, Sandrine [edt] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2015Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2827.
Dag Prawitz on Proofs and Meaning [electronic resource] / edited by Heinrich Wansing.
by Wansing, Heinrich [edt] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2015Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2828.
Linking Game-Theoretical Approaches with Constructive Type Theory [electronic resource] : Dialogical Strategies, CTT demonstrations and the Axiom of Choice / by Nicolas Clerbout, Shahid Rahman.
by Clerbout, Nicolas | Rahman, Shahid [jt.aut] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2015Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2829.
Modality, Semantics and Interpretations [electronic resource] : The Second Asian Workshop on Philosophical Logic / edited by Shier Ju, Hu Liu, Hiroakira Ono.
by Ju, Shier [edt] | Liu, Hu [edt] | Ono, Hiroakira [edt] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2830.
Functions and Generality of Logic [electronic resource] : Reflections on Dedekind's and Frege's Logicisms / by Hourya Benis-Sinaceur, Marco Panza, Gabriel Sandu.
by Benis-Sinaceur, Hourya | Panza, Marco [jt.aut] | Sandu, Gabriel [jt.aut] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2015Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2831.
Handbook of Argumentation Theory [electronic resource] / by Frans H. van Eemeren, Bart Garssen, Erik C. W. Krabbe, A. Francisca Snoeck Henkemans, Bart Verheij, Jean H. M. Wagemans.
by van Eemeren, Frans H | Garssen, Bart [jt.aut] | Krabbe, Erik C. W [jt.aut] | Snoeck Henkemans, A. Francisca [jt.aut] | Verheij, Bart [jt.aut] | Wagemans, Jean H. M [jt.aut] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2014Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2832.
From Logic to Practice [electronic resource] : Italian Studies in the Philosophy of Mathematics / edited by Gabriele Lolli, Marco Panza, Giorgio Venturi.
by Lolli, Gabriele [edt] | Panza, Marco [edt] | Venturi, Giorgio [edt] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2015Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2833.
Krister Segerberg on Logic of Actions [electronic resource] / edited by Robert Trypuz.
by Trypuz, Robert [edt] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2014Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2834.
Abarōhī tarkaśāstra : ଅବରୋହୀ ତର୍କଶାସ୍ତ୍ର : ଗଣେଶ୍ୱର ମିଶ୍ର Miśra, Gaṇeśvara
by ମିଶ୍ର, ଗଣେଶ୍ୱର | .
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Cuttack : Santosh Pub; 1986Availability: Items available for loan: National Library of India
[Call number: Or 160 Mi 245a ]
(1).
2835.
Pesky Essays on the Logic of Philosophy [electronic resource] / by Kenneth G. Lucey.
by Lucey, Kenneth G.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2015Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2836.
Advances in Software Engineering Techniques [electronic resource] : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers / edited by Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka.
by Szmuc, Tomasz [edt] | Szpyrka, Marcin [edt] | Zendulka, Jaroslav [edt] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2837.
Fundamentals of Software Engineering [electronic resource] : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani.
by Arbab, Farhad [edt] | Sirjani, Marjan [edt] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
2838.
Logical reasoning / Deepu Krishna, Remya Krishna
by Krishna, Deepu | Krishna, Remya.
Edition: 3rd ed.Material type: Text; Format:
print
; Audience:
General;
Publisher: Haryana : LexisNexis, 2016Availability: Items available for loan: National Library of India
[Call number: E 160 K 897 l (1) ]
(1).
2839.
Sāṁketik yuktibijñān / সাংকেতিক যুক্তিবিজ্ঞান / রমাপ্রসাদ দাস Dās, Ramāprasād
by দাস, রমাপ্রসাদ | | | .
Edition: 2nd ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: কলিকাতা : পশ্চিমবঙ্গ রাজ্য পুস্তক পর্ষৎ , 2012Availability: Items available for loan: National Library of India
[Call number: B 511.3 D 39681 ]
(1).
2840.
Tarkabijñān āru darshan/ তৰ্কবিজ্ঞান আৰু দৰ্শন / সুস্মিতা সেনগুপ্ত, মঞ্জুমণি ডেকা Sengupta, Susmitā Ḍekā, Mañjumoṇi
by সেনগুপ্ত, সুস্মিতা | ডেকা, মঞ্জুমণি.
Material type: Text; Format:
print
; Audience:
General;
Publisher: ণ্ডৱাহাটী: বি.এল.জে. পাব্লিকেচনচ্ , 2012Other title: Tarkabigyan aru darshan /.Availability: Items available for loan: National Library of India
[Call number: A 160.7 Se 453 ]
(1).