21
Logic, computation, hierarchies [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
22
Philosophy of mathematics in the twentieth century : selected essays [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
23
Recent progress in the Boolean domain [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
24
Formalism and beyond : on the nature of mathematical discourse [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
25
Kripke's worlds : an introduction to modal logics via Tableaux [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
26
Logic, Rationality, and Interaction [E-Book] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
27
Distilling ideas : an introduction to mathematical thinking [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
28
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011 / [E-Book]
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
29
Alan Turing : his work and impact [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
30
Effective mathematics of the uncountable [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
31
Logicism and its philosophical legacy [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
32
Recent Trends in Algebraic Development Techniques [E-Book] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
33
Typed Lambda Calculi and Applications [E-Book] : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
34
The Nature of Computation. Logic, Algorithms, Applications [E-Book] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
35
Logical Foundations of Computer Science [E-Book] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
36
Lectures on Logic and Computation [E-Book]: ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
37
The Logic of Categorial Grammars [E-Book]: A Deductive Account of Natural Language Syntax and Semantics /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
38
How the World Computes [E-Book]: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
39
Recent Trends in Algebraic Development Techniques [E-Book]: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
40
Qualitative spatial and temporal reasoning / [E-Book]
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:

Narrow Search Results