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

Search Results

Your Search for TRENDS IN LOGIC returned 9 Items

Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Display results in shelf format.
Search Results
Result Thumbnail Title Author Year Flags Holding Information
1 Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III” / Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III” / [Ebook]
Series:Trends in Logic ;Volume:23
  2004 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
2 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.
3 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.
4 Methods of Cut-Elimination Methods of Cut-Elimination [Ebook]
Series:Trends in LogicVolume:34
Leitsch, Alexander 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
5 Paradoxes Paradoxes [Ebook]
Series:Trends in LogicVolume:31
Łukowski, Piotr 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.
6 Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV [Ebook]
Series:Trends in LogicVolume:28
Makinson, David. 1941- 2009 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
7 Advanced Łukasiewicz calculus and MV-algebras Advanced Łukasiewicz calculus and MV-algebras [Ebook]
Series:Trends in Logic ;Volume:35
Mundici, Daniele 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
8 Dual Tableaux: Foundations, Methodology, Case Studies Dual Tableaux: Foundations, Methodology, Case Studies [Ebook]
Series:Trends in LogicVolume:33
Orlowska, Ewa 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
9 Gentzen Calculi for Modal Propositional Logic Gentzen Calculi for Modal Propositional Logic [Ebook]
Series:Trends in Logic ;Volume:32
Poggiolesi, Francesca 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

Quick Search