Your search returned 8 results.

Sort
Results
1.
Dag Prawitz on Proofs and Meaning [electronic resource] / edited by Heinrich Wansing. by Series: Outstanding Contributions to Logic ; 7
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

2.
Krister Segerberg on Logic of Actions [electronic resource] / edited by Robert Trypuz. by Series: Outstanding Contributions to Logic ; 1
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Dordrecht : Springer Netherlands, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

3.
Leo Esakia on Duality in Modal and Intuitionistic Logics [electronic resource] / edited by Guram Bezhanishvili. by Series: Outstanding Contributions to Logic ; 4
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Dordrecht : Springer Netherlands, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

4.
David Makinson on Classical Methods for Non-Classical Problems [electronic resource] / edited by Sven Ove Hansson. by Series: Outstanding Contributions to Logic ; 3
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Dordrecht : Springer Netherlands, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

5.
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs [electronic resource] / edited by Ivo Düntsch, Edwin Mares. by Series: Outstanding Contributions to Logic ; 22
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 160.

6.
Johan van Benthem on Logic and Information Dynamics [electronic resource] / edited by Alexandru Baltag, Sonja Smets. by Series: Outstanding Contributions to Logic ; 5
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

7.
Nuel Belnap on Indeterminism and Free Action [electronic resource] / edited by Thomas Müller. by Series: Outstanding Contributions to Logic ; 2
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

8.
Hiroakira Ono on Substructural Logics [electronic resource] / edited by Nikolaos Galatos, Kazushige Terui. by Series: Outstanding Contributions to Logic ; 23
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 160.

                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India