121
Hausdorff on ordered sets [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical -- History....”

Full text 
Favorites
Saved in:
122
Categories for Software Engineering [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
123
Adapting Proofs-as-Programs [E-Book] : The Curry-Howard Protocol /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
124
Trends in Continuum Mechanics of Porous Media [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
125
Processes, Terms and Cycles: Steps on the Road to Infinity [E-Book] / Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
126
Theory and Applications of Satisfiability Testing (vol. # 3542) [E-Book] / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
127
Computer Science Logic (vol. # 3634) [E-Book] / 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Ong, Luke.
2005
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
128
Mechanizing Mathematical Reasoning [E-Book] / Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
129
Phenomenology, Logic, and the Philosophy of Mathematics [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
130
Rippling: Meta-Level Guidance for Mathematical Reasoning [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
131
Theory and Applications of Satisfiability Testing (vol. # 3569) / 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
132
The determinacy of long games / [E-Book]
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
133
Theory and Applications of Satisfiability Testing [E-Book] : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
134
The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
135
Paradox and paraconsistency : conflict resolution in the abstract sciences [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
136
Set theory / [E-Book]
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
137
Mathematical logic / [E-Book]
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
138
Mathematical logic in the 20th century / [E-Book]
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
139
Lectures in Logic and Set Theory [E-Book]. Volume 1. Mathematical Logic /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
140
Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:

Narrow Search Results