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

Search Results

Your Search for 160 returned 58 Items

Search Result Page: .   1 NNN 2 .   . Top Next .   . Page: 1 of 2
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Display results in shelf format.
Search Results
Result Thumbnail Title Author Year Flags Holding Information
1 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.
2 Advances in Proof-Theoretic Semantics Advances in Proof-Theoretic Semantics [Ebook]   2016 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
3 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.
4 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.
5 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.
6 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.
7 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.
8 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.
9 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.
10 Labelled Deduction Labelled Deduction [Ebook]
Series:Applied Logic Series,Volume:17
  2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
11 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.
12 Logic in action Logic in action [Monograph ]   2001 Monograph Shelf Location: 160 LOG.
Collections: General.
Number of Holdings: 1.
13 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.
14 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.
15 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.
16 The Logical Writings of Karl Popper The Logical Writings of Karl Popper [Ebook]   2022 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
17 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.
18 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.
19 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.
20 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.
21 Trends in Logic: 50 Years of Studia Logica / Trends in Logic: 50 Years of Studia Logica / [Ebook]   2003 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
22 Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory / Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory / [Ebook]   2020 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
23 What is Negation? What is Negation? [Ebook]
Series:Applied Logic Series,Volume:13
  1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
24 The Square of Opposition: A Cornerstone of Thought The Square of Opposition: A Cornerstone of Thought [Ebook] Basti, Gianfranco 2017 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
25 Logics of Variable Inclusion Logics of Variable Inclusion [Ebook] Bonzio, Stefano 2022 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
26 Hybrid Logic and its Proof-Theory Hybrid Logic and its Proof-Theory [Ebook]
Series:Applied Logic SeriesVolume:37
Braüner, Torben 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
27 Automated Model Building Automated Model Building [Ebook]
Series:Applied Logic SeriesVolume:31
Caferra, Ricardo 2004 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
28 Bolzano's logical system Bolzano's logical system [Ebook]
Series:Oxford logic guidesVolume:54
Casari, Ettore 2017 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Oxford Scholarship Online.
29 The Theory of Gödel The Theory of Gödel [Ebook] Cellucci, Carlo 2022 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
30 Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics / Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics / [Ebook] Cintula, Petr 2021 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
31 Probabilistic Logic in a Coherent Setting Probabilistic Logic in a Coherent Setting [Ebook]
Series:Trends in Logic,Volume:15
Coletii, Giulianella 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
32 Freedom and Enforcement in Action: A Study in Formal Action Theory / Freedom and Enforcement in Action: A Study in Formal Action Theory / [Ebook] Czelakowski, Janusz 2015 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
33 Cut Elimination in Categories Cut Elimination in Categories [Ebook] Došen, Kosta 1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
34 New Foundations for Information Theory: Logical Entropy and Shannon Entropy / New Foundations for Information Theory: Logical Entropy and Shannon Entropy / [Ebook] Ellerman, David 2021 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
35 Heyting Algebras: Duality Theory Heyting Algebras: Duality Theory [Ebook] Esakia, Leo. 1934-2010 2019 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer..
36 Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry [Ebook] Ferguson, Thomas Macaulay 2017 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
37 Types, Tableaus, and Gödel’s God Types, Tableaus, and Gödel’s God [Ebook] Fitting, Melvin 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
38 Goal-Directed Proof Theory Goal-Directed Proof Theory [Ebook]
Series:Applied Logic Series,Volume:21
Gabbay, Dov M. 2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
39 Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics / Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics / [Ebook] Ghilardi, Silvio 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
40 Metamathematics of Fuzzy Logic Metamathematics of Fuzzy Logic [Ebook] Hájek, Petr 1998 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
41 Descriptor Revision: Belief Change through Direct Choice Descriptor Revision: Belief Change through Direct Choice [Ebook] Hansson, Sven Ove 2017 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
42 A Textbook of Belief Dynamics: Solutions to exercises / A Textbook of Belief Dynamics: Solutions to exercises / [Ebook]
Series:Applied Logic Series,Volume:11/2
Hansson, Sven Ove 1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
43 Natural Deduction, Hybrid Systems and Modal Logics Natural Deduction, Hybrid Systems and Modal Logics [Ebook]
Series:Trends in LogicVolume:30
Indrzejczak, Andrzej 2010 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
44 Triangular Norms Triangular Norms [Ebook] Klement, Erich Peter 2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
45 A Model–Theoretic Approach to Proof Theory A Model–Theoretic Approach to Proof Theory [Ebook] Kotlarski, Henryk 2019 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer..
46 Paradoxes Paradoxes [Ebook]
Series:Trends in LogicVolume:31
Łukowski, Piotr 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.
47 A Guide to Classical and Modern Model Theory A Guide to Classical and Modern Model Theory [Ebook] Marcja, Annalisa 2003 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
48 Multi-Dimensional Modal Logic Multi-Dimensional Modal Logic [Ebook]
Series:Applied Logic Series,Volume:4
Marx, Maarten 1997 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
49 Metainferential Logics Metainferential Logics [Ebook] Pailos, Federico 2023 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
50 Substructural Logics: A Primer Substructural Logics: A Primer [Ebook] Paoli, Francesco 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.

Your Search for 160 returned 58 Items

Search Result Page: .   1 NNN 2 .   . Bottom Next .   . Page: 1 of 2
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

Quick Search