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

Search Results

Your Search for MATHEMATICAL LOGIC AND FOUNDATIONS returned 422 Items

Search Result Page: .   1 NNN 2 . NNN 3 . NNN 4 . NNN 5 . NNN 6 . NNN 7 . NNN 8 . NNN 9 .   . Top Next .   . Page: 1 of 9
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 Adaptive and Learning Systems: Theory and Applications / Adaptive and Learning Systems: Theory and Applications / [Ebook]   1986 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
3 Advances in Computational Intelligence and Learning: Methods and Applications Advances in Computational Intelligence and Learning: Methods and Applications [Ebook]   2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
4 Advances in Fuzzy Sets, Possibility Theory, and Applications Advances in Fuzzy Sets, Possibility Theory, and Applications [Ebook]   1983 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
5 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.
6 Advances in Proof Theory Advances in Proof Theory [Ebook]   2016 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
7 Advances in Proof-Theoretic Semantics Advances in Proof-Theoretic Semantics [Ebook]   2016 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
8 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.
9 Algorithmic Problems in Groups and Semigroups Algorithmic Problems in Groups and Semigroups [Ebook]   2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
10 Applied Research in Fuzzy Technology: Three years of research at the Laboratory for International Fuzzy Engineering (LIFE), Yokohama, Japan / Applied Research in Fuzzy Technology: Three years of research at the Laboratory for International Fuzzy Engineering (LIFE), Yokohama, Japan / [Ebook]   1994 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
11 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.
12 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.
13 Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79 / Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79 / [Ebook]   1981 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
14 Cabal Seminar 79–81: Proceedings, Caltech-UCLA Logic Seminar 1979–81 / Cabal Seminar 79–81: Proceedings, Caltech-UCLA Logic Seminar 1979–81 / [Ebook]   1983 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
15 Cabal Seminar 81–85: Proceedings, Caltech-UCLA Logic Seminar 1981–85 / Cabal Seminar 81–85: Proceedings, Caltech-UCLA Logic Seminar 1981–85 / [Ebook]   1988 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
16 Cambridge Summer School in Mathematical Logic: Held in Cambridge/England, August 1–21, 1971 / Cambridge Summer School in Mathematical Logic: Held in Cambridge/England, August 1–21, 1971 / [Ebook]   1973 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
17 Categorical Topology: Proceedings of the L’Aquila Conference (1994) / Categorical Topology: Proceedings of the L’Aquila Conference (1994) / [Ebook]   1996 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
18 Category Theory: Applications to Algebra, Logic and Topology Proceedings of the International Conference Held at Gummersbach, July 6–10, 1981 / Category Theory: Applications to Algebra, Logic and Topology Proceedings of the International Conference Held at Gummersbach, July 6–10, 1981 / [Ebook]   1982 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
19 Category Theory: Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 / Category Theory: Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 / [Ebook]   1991 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
20 Classic Papers in Combinatorics Classic Papers in Combinatorics [Ebook]   2009 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Birkhäuser.
21 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.
22 Classification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15–19, 1985 / Classification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15–19, 1985 / [Ebook]   1987 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
23 Code Recognition and Set Selection with Neural Networks Code Recognition and Set Selection with Neural Networks [Ebook]   1991 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
24 Combinatorial Algorithms on Words Combinatorial Algorithms on Words [Ebook]   1985 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
25 Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II / Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II / [Ebook]   1984 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
26 Consensus Under Fuzziness Consensus Under Fuzziness [Ebook]   1997 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
27 Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 / Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 / [Ebook]   1981 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
28 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.
29 Dependence Logic: Theory and Applications / Dependence Logic: Theory and Applications / [Ebook]   2016 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
30 Facets of Uncertainties and Applications: ICFUA, Kolkata, India, December 2013 Facets of Uncertainties and Applications: ICFUA, Kolkata, India, December 2013 [Ebook]   2015 Ebook URL Exists Catalogue Record Shelf Location: Online resouce : Springer.
31 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.
32 Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel / Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel / [Ebook]   1969 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
33 Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / [Ebook]   2020 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
34 Fundamentals of Fuzzy Sets Fundamentals of Fuzzy Sets [Ebook]   2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
35 Fuzzy Algorithms for Control Fuzzy Algorithms for Control [Ebook]   1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
36 Fuzzy Evolutionary Computation Fuzzy Evolutionary Computation [Ebook]   1997 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
37 Fuzzy Hardware: Architectures and Applications / Fuzzy Hardware: Architectures and Applications / [Ebook]   1998 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
38 Fuzzy Logic and Intelligent Systems Fuzzy Logic and Intelligent Systems [Ebook]   1995 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
39 Fuzzy Logic Foundations and Industrial Applications Fuzzy Logic Foundations and Industrial Applications [Ebook]   1996 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
40 Fuzzy Modelling: Paradigms and Practice / Fuzzy Modelling: Paradigms and Practice / [Ebook]   1996 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
41 Fuzzy Set Theory and Advanced Mathematical Applications Fuzzy Set Theory and Advanced Mathematical Applications [Ebook]   1995 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
42 Fuzzy Sets in Approximate Reasoning and Information Systems Fuzzy Sets in Approximate Reasoning and Information Systems [Ebook]   1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
43 Fuzzy Sets in Decision Analysis, Operations Research and Statistics Fuzzy Sets in Decision Analysis, Operations Research and Statistics [Ebook]   1998 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
44 Fuzzy Sets in Engineering Design and Configuration Fuzzy Sets in Engineering Design and Configuration [Ebook]   1996 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
45 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.
46 General Topology III: Paracompactness, Function Spaces, Descriptive Theory General Topology III: Paracompactness, Function Spaces, Descriptive Theory [Ebook]   1995 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
47 Gentzen's Centenary: The Quest for Consistency Gentzen's Centenary: The Quest for Consistency [Ebook]   2015 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
48 Handbook of Metric Fixed Point Theory Handbook of Metric Fixed Point Theory [Ebook]   2001 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
49 Handbook of the History and Philosophy of Mathematical Practice Handbook of the History and Philosophy of Mathematical Practice [Ebook]   2020 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
50 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.
Search Result Page: .   1 NNN 2 . NNN 3 . NNN 4 . NNN 5 . NNN 6 . NNN 7 . NNN 8 . NNN 9 .   . Bottom Next .   . Page: 1 of 9
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

. E-mail This Page
Quick Search