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