61
Mathematische Logik [E-Book] /
Subject (ZB): ...Logic, Symbolic and mathematical...

Full text 
62
Mathematical Logic [E-Book] : Foundations for Information Science /
Li, Wei.
2010
Subject (ZB): ...Logic, Symbolic and mathematical...

Full text 
63
Logical Tools for Handling Change in Agent-Based Systems [E-Book] /
Subject (ZB): ...Logic, Symbolic and mathematical...

Full text 
64
Handbook of mathematical induction : theory and applications [E-Book] /
65
Diamond : a paradox logic [E-Book] /
Subject (ZB): ...Logic, Symbolic and mathematical....

Full text 
66
Essays in the philosophy and history of logic and mathematics / [E-Book]
67
Roads to infinity : the mathematics of truth and proof [E-Book] /
Subject (ZB): ...Logic, Symbolic and mathematical....

Full text 
68
Logique arithmetique : l'arithmetisation de la logique [E-Book] /
Subject (ZB): ...Logic, Symbolic and mathematical....

Full text 
69
Perspectives in logic : logical foundations of proof complexity [E-Book] /
70
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 [E-Book] /
71
Cognitive Research [E-Book] : A Formal Approach /
Subject (ZB): ...Logic, Symbolic and mathematical...

Full text 
72
Languages: From Formal to Natural [E-Book] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
73
Logic, Rationality, and Interaction [E-Book] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings /
74
Logische Grundlagen der Mathematik [E-Book] /
Subject (ZB): ...Logic, Symbolic and mathematical...

Full text 
75
Ultimate Explanations of the Universe [E-Book] /
Subject (ZB): ...Logic, Symbolic and mathematical...

Full text 
76
Formal Theories of Information [E-Book] : From Shannon to Semantic Information Theory and General Concepts of Information /
77
Computer Science Logic [E-Book] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /
78
Recent Trends in Algebraic Development Techniques [E-Book] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /
79
Typed Lambda Calculi and Applications [E-Book] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /
80
Rewriting Techniques and Applications [E-Book] : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /