Refine your search

Your search returned 29 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
A Protocol-theoretic Framework for the Logic of Epistemic Norms [electronic resource] / by Ralph Jenkins. by Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 467
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: 120.

Place hold Save to lists
2.
The Priority of Propositions. A Pragmatist Philosophy of Logic [electronic resource] / by María José Frápolli. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 160.

Place hold Save to lists
3.
Prawitz's Epistemic Grounding [electronic resource] : An Investigation into the Power of Deduction / by Antonio Piccolomini d'Aragona. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 160.

Place hold Save to lists
4.
Logic Without Gaps or Gluts [electronic resource] : How to Solve the Paradoxes Without Sacrificing Classical Logic / by Benjamin Alan Burgis. by Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 458
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: (1)Call number: 160.

Place hold Save to lists
5.
First-Order Modal Logic [electronic resource] / by Melvin Fitting, Richard L. Mendelsohn. by Series:
Edition: 2nd ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 160.

Place hold Save to lists
6.
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.

Place hold Save to lists
7.
Dynamic Logic. New Trends and Applications [electronic resource] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 160.

Place hold Save to lists
8.
Simple Type Theory [electronic resource] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / by William M. Farmer. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

Place hold Save to lists
9.
Concrete Abstractions [electronic resource] : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker / by Wolfgang Schreiner. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

Place hold Save to lists
10.
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings / edited by Sergei Artemov, Anil Nerode. by Series: Theoretical Computer Science and General Issues ; 13137
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: 511.3.

Place hold Save to lists
11.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies. by Series: Theoretical Computer Science and General Issues ; 13182
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: 004.0151.

Place hold Save to lists
12.
On Hilbert's Sixth Problem [electronic resource] / by Newton C. A. da Costa, Francisco Antonio Doria. by Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 441
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: 501.

Place hold Save to lists
13.
Wittgenstein's On Certainty: Insight and Method [electronic resource] / by Robert Greenleaf Brice. by Series: SpringerBriefs in Philosophy
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: 120.

Place hold Save to lists
14.
Semantic Intelligence [electronic resource] : Select Proceedings of ISIC 2022 / edited by Sarika Jain, Sven Groppe, Bharat K. Bhargava. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.3.

Place hold Save to lists
15.
Runtime Verification [electronic resource] : A Hands-On Approach in Java / by Christian Colombo, Gordon J. Pace. by
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: 005.1.

Place hold Save to lists
16.
Ernst Schröder on Algebra and Logic [electronic resource] / edited by Stephen Pollard. by Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 465
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.

Place hold Save to lists
17.
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.

Place hold Save to lists
18.
Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 511.3.

Place hold Save to lists
19.
R-Calculus, II: Many-Valued Logics [electronic resource] / by Wei Li, Yuefei Sui. by Series: Perspectives in Formal Induction, Revision and Evolution
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.131.

Place hold Save to lists
20.
R-Calculus, IV: Propositional Logic [electronic resource] / by Wei Li, Yuefei Sui. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.131.

Place hold Save to lists
                                                                           
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