Shortcuts
SISSA Library . Default .
PageMenu- Main Menu-
Page content
 

Search Results

Your Search for LOGIC returned 159 Items

Search Result Page: .   1 NNN 2 . NNN 3 . NNN 4 .   . Top Next .   . Page: 1 of 4
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Display results in shelf format.
Search Results
Result Thumbnail Title Author Year Flags Holding Information
1 Abduction and Induction: Essays on their Relation and Integration / Abduction and Induction: Essays on their Relation and Integration / [Ebook]
Series:Applied Logic Series,Volume:18
  2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
2 Advances in Intensional Logic Advances in Intensional Logic [Ebook]
Series:Applied Logic Series,Volume:7
  1997 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
3 Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / [Ebook]   2021 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
4 Advances in Proof Theory Advances in Proof Theory [Ebook]   2016 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
5 Advances in Proof-Theoretic Semantics Advances in Proof-Theoretic Semantics [Ebook]   2016 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
6 Advances in Temporal Logic Advances in Temporal Logic [Ebook]
Series:Applied Logic Series,Volume:16
  2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
7 Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 / Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 / [Ebook]   1979 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
8 Automated Deduction — A Basis for Applications: Volume III Applications / Automated Deduction — A Basis for Applications: Volume III Applications / [Ebook]
Series:Applied Logic Series,Volume:10
  1998 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
9 Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques / Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques / [Ebook]
Series:Applied Logic Series,Volume:9
  1998 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
10 Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 / Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 / [Ebook]   2016 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
11 Dependence Logic: Theory and Applications / Dependence Logic: Theory and Applications / [Ebook]   2016 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
12 Diagrammatic Representation and Reasoning Diagrammatic Representation and Reasoning [Ebook]   2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
13 Diagrams and Gestures: Mathematics, Philosophy, and Linguistics / Diagrams and Gestures: Mathematics, Philosophy, and Linguistics / [Ebook]   2023 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
14 Dynamic Worlds: From the Frame Problem to Knowledge Management / Dynamic Worlds: From the Frame Problem to Knowledge Management / [Ebook]
Series:Applied Logic Series,Volume:12
  1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
15 The Exoteric Square of Opposition: The Sixth World Congress on the Square of Opposition / The Exoteric Square of Opposition: The Sixth World Congress on the Square of Opposition / [Ebook]   2022 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
16 Formal Aspects of Context Formal Aspects of Context [Ebook]
Series:Applied Logic Series,Volume:20
  2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
17 Foundations of Rational Agency Foundations of Rational Agency [Ebook]
Series:Applied Logic Series,Volume:14
  1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
18 Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 / Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 / [Ebook]   2003 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
19 Frontiers in Belief Revision Frontiers in Belief Revision [Ebook]
Series:Applied Logic Series,Volume:22
  2001 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
20 Frontiers of Combining Systems: First International Workshop, Munich, March 1996 / Frontiers of Combining Systems: First International Workshop, Munich, March 1996 / [Ebook]
Series:Applied Logic Series,Volume:3
  1996 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
21 Fuzzy Sets, Logics and Reasoning about Knowledge Fuzzy Sets, Logics and Reasoning about Knowledge [Ebook]
Series:Applied Logic Series,Volume:15
  1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
22 Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neohumanist Scholar: Papers from a Sesquicentennial Conference / Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neohumanist Scholar: Papers from a Sesquicentennial Conference / [Ebook]   1996 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
23 Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel / Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel / [Ebook]
Series:Applied Logic Series,Volume:19
  2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
24 Kurt Gödel: The Princeton Lectures on Intuitionism / Kurt Gödel: The Princeton Lectures on Intuitionism / [Ebook]   2021 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
25 Labelled Deduction Labelled Deduction [Ebook]
Series:Applied Logic Series,Volume:17
  2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
26 The Legacy of Kurt Schütte The Legacy of Kurt Schütte [Ebook]   2020 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
27 Logic, Action and Cognition: Essays in Philosophical Logic Logic, Action and Cognition: Essays in Philosophical Logic [Ebook]   1997 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
28 Logic for Concurrency and Synchronisation Logic for Concurrency and Synchronisation [Ebook]   2003 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
29 Logic in action Logic in action [Monograph ]   2001 Monograph Shelf Location: 160 LOG.
Collections: General.
Number of Holdings: 1.
30 Logic, Language and Computation Logic, Language and Computation [Ebook]
Series:Applied Logic Series,Volume:5
  1997 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
31 Logic, Language and Reasoning: Essays in Honour of Dov Gabbay / Logic, Language and Reasoning: Essays in Honour of Dov Gabbay / [Ebook]   1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
32 Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / [Ebook]   1981 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
33 Logical and Computational Aspects of Model-Based Reasoning Logical and Computational Aspects of Model-Based Reasoning [Ebook]
Series:Applied Logic Series,Volume:25
  2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
34 Logical Skills: Social-Historical Perspectives / Logical Skills: Social-Historical Perspectives / [Ebook]   2021 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
35 Logical Studies of Paraconsistent Reasoning in Science and Mathematics Logical Studies of Paraconsistent Reasoning in Science and Mathematics [Ebook]   2016 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
36 The Logical Writings of Karl Popper The Logical Writings of Karl Popper [Ebook]   2022 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
37 The Lvov-Warsaw School. Past and Present The Lvov-Warsaw School. Past and Present [Ebook]   2018 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
38 Mathematical Logic Mathematical Logic [Ebook]   1990 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
39 Mathematical Logic and Its Applications Mathematical Logic and Its Applications [Ebook]   1987 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
40 Mathematical Problems from Applied Logic I: Logics for the XXIst Century Mathematical Problems from Applied Logic I: Logics for the XXIst Century [Ebook]   2006 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.
41 Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir / Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir / [Ebook]   2021 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
42 Mental logic Mental logic [Monograph ]   1998 Monograph Shelf Location: 160 MEN.
Collections: General.
Number of Holdings: 1.
43 Modern Formal Methods and Applications Modern Formal Methods and Applications [Ebook]   2006 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.
44 Modern Logic 1850-1950, East and West Modern Logic 1850-1950, East and West [Ebook]   2016 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
45 New Essays in Free Logic: In Honour of Karel Lambert / New Essays in Free Logic: In Honour of Karel Lambert / [Ebook]
Series:Applied Logic Series,Volume:23
  2001 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
46 Perspectives on the History of Mathematical Logic Perspectives on the History of Mathematical Logic [Ebook]   1991 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
47 Proof Theory of Modal Logic Proof Theory of Modal Logic [Ebook]
Series:Applied Logic Series,Volume:2
  1996 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
48 The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I [Ebook]   2015 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
49 The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II [Ebook]   2015 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
50 Structural Reliabilism: Inductive Logic as a Theory of Justification / Structural Reliabilism: Inductive Logic as a Theory of Justification / [Ebook]   2003 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
Search Result Page: .   1 NNN 2 . NNN 3 . NNN 4 .   . Bottom Next .   . Page: 1 of 4
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

Quick Search