41
Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
42
Cantor und die Franzosen [E-Book] : Mathematik, Philosophie und das Unendliche /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
43
Grenzen der Mathematik [E-Book] : Eine Reise durch die Kerngebiete der mathematischen Logik /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
44
Logic and Games on Automatic Structures [E-Book] : Playing with Quantifiers and Decompositions /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
45
Typed Lambda Calculi and Applications [E-Book] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /
Ong, Luke.
2011
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
46
The Mathematics of Language [E-Book] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
47
Tools for Teaching Logic [E-Book] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
48
Conditionals and Modularity in General Logics [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
49
Apartness and Uniformity [E-Book] : A Constructive Development /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
50
Logic, Rationality, and Interaction [E-Book] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
51
Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
52
The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
53
Eleventh Scandinavian Conference on Artificial Intelligence : SCAI 2011 [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
54
Set theory, arithmetic, and foundations of mathematics : theorems, philosophies [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
55
Logical dynamics of information and interaction / [E-Book]
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
56
Beyond sets : a venture in collection-theoretic revisionism [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
57
An introduction to practical formal methods using temporal logic [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
58
Models of Computation in Context [E-Book] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text  Full text 
Favorites
Saved in:
59
From Boolean Logic to Switching Circuits and Automata [E-Book] : Towards Modern Information Technology /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
60
The P=NP Question and Gödel’s Lost Letter [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:

Narrow Search Results