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

Search Results

Your Search for 511.3 (DDC 23) returned 53 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 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.
2 The Legacy of Kurt Schütte The Legacy of Kurt Schütte [Ebook]   2020 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
3 Logica Universalis: Towards a General Theory of Logic Logica Universalis: Towards a General Theory of Logic [Ebook]   2005 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Birkhäuser.
4 Logica Universalis: Towards a General Theory of Logic Logica Universalis: Towards a General Theory of Logic [Ebook]   2007 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Birkhäuser.
5 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.
6 Hyperfinite Dirichlet Forms and Stochastic Processes Hyperfinite Dirichlet Forms and Stochastic Processes [Ebook] Albeverio, Sergio 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
7 An Invitation to Abstract Mathematics An Invitation to Abstract Mathematics [Ebook] Bajnok, Béla 2013 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
8 Around and Beyond the Square of Opposition Around and Beyond the Square of Opposition [Ebook] Beziau, Jean-Yves 2012 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.
9 Proofs and Fundamentals: A First Course in Abstract Mathematics Proofs and Fundamentals: A First Course in Abstract Mathematics [Ebook] Bloch, Ethan D. 1956- 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.
10 Proofs and Fundamentals: A First Course in Abstract Mathematics Proofs and Fundamentals: A First Course in Abstract Mathematics [Ebook] Bloch, Ethan D. 1956- 2003 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Birkhäuser.
11 Aspects of Mathematical Logic Aspects of Mathematical Logic [Ebook]
Series:CIME summer schoolsVolume:48
Casari, Ettore 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
12 Kolmogorov's Heritage in Mathematics Kolmogorov's Heritage in Mathematics [Ebook] Charpentier, Éric 2007 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.
13 Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington’s Principle Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington’s Principle [Ebook] Cheng, Yong 2019 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer..
14 A Course in Formal Languages, Automata and Groups A Course in Formal Languages, Automata and Groups [Ebook] Chiswell, Ian M. 2009 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
15 Non-commutative Multiple-Valued Logic Algebras Non-commutative Multiple-Valued Logic Algebras [Ebook] Ciungu, Lavinia Corina 2014 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.
16 Reading, Writing, and Proving: A Closer Look at Mathematics Reading, Writing, and Proving: A Closer Look at Mathematics [Ebook] Daepp, Ulrich 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
17 Reading, Writing, and Proving: A Closer Look at Mathematics Reading, Writing, and Proving: A Closer Look at Mathematics [Ebook] Daepp, Ulrich 2003 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
18 Logic and Structure Logic and Structure [Ebook] Dalen, Dirk van 2013 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
19 Institution-independent Model Theory Institution-independent Model Theory [Ebook] Diaconescu, Răzvan 2008 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Birkhäuser.
20 Kripke’s Worlds: An Introduction to Modal Logics via Tableaux Kripke’s Worlds: An Introduction to Modal Logics via Tableaux [Ebook] Gasquet, Olivier 2014 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Birkhäuser.
21 Introduction to Mathematical Structures and Proofs Introduction to Mathematical Structures and Proofs [Ebook] Gerstein, Larry J. 2012 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
22 Combinatorial Set Theory: With a Gentle Introduction to Forcing Combinatorial Set Theory: With a Gentle Introduction to Forcing [Ebook] Halbeisen, Lorenz J. 2012 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
23 Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics [Ebook] Halbeisen, Lorenz 2020 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
24 Stochastic Calculus with Infinitesimals Stochastic Calculus with Infinitesimals [Ebook] Herzberg, Frederik 2013 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
25 Gödel's disjunction: the scope and limits of mathematical knowledge Gödel's disjunction: the scope and limits of mathematical knowledge [Ebook] Horsten, Leon 2016 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Oxford Scholarship Online.
26 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.
27 Logicism, Intuitionism, and Formalism: What has Become of Them? Logicism, Intuitionism, and Formalism: What has Become of Them? [Ebook] Lindström, Sten 2009 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
28 Recursion Theory and Computational Complexity Recursion Theory and Computational Complexity [Ebook] Lolli, Gabriele 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource :Springer.
29 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.
30 Model Theory and Applications Model Theory and Applications [Ebook]
Series:CIME summer schoolsVolume:69
Mangani, Piero 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
31 A Course in Mathematical Logic for Mathematicians A Course in Mathematical Logic for Mathematicians [Ebook] Manin, Yuri Ivanovich 2010 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.
32 Lecture Notes on O-Minimal Structures and Real Analytic Geometry Lecture Notes on O-Minimal Structures and Real Analytic Geometry [Ebook] Miller, Chris 2012 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
33 Visual Reasoning with Diagrams Visual Reasoning with Diagrams [Ebook] Moktefi, Amirouche 2013 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Birkhäuser.
34 Cardinal Invariants on Boolean Algebras Cardinal Invariants on Boolean Algebras [Ebook] Monk, James Donald. 1930- 2010 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Birkhäuser.
35 Mathematical Logic Mathematical Logic [Ebook] Monk, James Donald. 1930- 1976 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
36 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.
37 Logic: A Brief Course Logic: A Brief Course [Ebook]
Series:Unitext
Mundici, Daniele 2012 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.
38 Logica: Metodo Breve Logica: Metodo Breve [Ebook]
Series:UnitextVolume:1
Mundici, Daniele 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
39 Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications [Ebook] Nievergelt, Yves 2015 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
40 Towards a General Theory of Classifications Towards a General Theory of Classifications [Ebook] Parrochia, Daniel 2013 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Birkhäuser.
41 Proof Theory: The First Step into Impredicativity Proof Theory: The First Step into Impredicativity [Ebook] Pohlers, Wolfram 2009 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
42 Mathematical Logic and Model Theory: A Brief Introduction Mathematical Logic and Model Theory: A Brief Introduction [Ebook] Prestel, Alexander 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.
43 The Semantics and Proof Theory of the Logic of Bunched Implications The Semantics and Proof Theory of the Logic of Bunched Implications [Ebook]
Series:Applied Logic SeriesVolume:26
Pym, David J. 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
44 A Concise Introduction to Mathematical Logic A Concise Introduction to Mathematical Logic [Ebook] Rautenberg, Wolfgang 2006 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.
45 A Concise Introduction to Mathematical Logic A Concise Introduction to Mathematical Logic [Ebook] Rautenberg, Wolfgang 2010 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer, New York.
46 Teoria algebrica dei meccanismi automatici Teoria algebrica dei meccanismi automatici [Ebook]
Series:CIME summer schoolsVolume:19
Righi, R. 2012 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer.
47 La mente e l'infinito: scienza e filosofia dell'infinito La mente e l'infinito: scienza e filosofia dell'infinito [Monograph ] Rucker, Rudy 1946- 2013 Monograph Shelf Location:  510.6 RUC.
Collections: General.
Number of Holdings: 1.
48 Ordered Sets: An Introduction with Connections from Combinatorics to Topology Ordered Sets: An Introduction with Connections from Combinatorics to Topology [Ebook] Schröder, Bernd S. W. 2016 Ebook URL Exists Catalogue Record Shelf Location: Online resource : Springer.
49 A Course on Mathematical Logic A Course on Mathematical Logic [Ebook] Srivastava, Shashi Mohan 2008 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Springer,.
50 A Course on Mathematical Logic A Course on Mathematical Logic [Ebook] Srivastava, Shashi Mohan 2013 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.

Your Search for 511.3 (DDC 23) returned 53 Items

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

Quick Search