Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)
1998	Handbook of Logic in Artificial Intelligence and Logic Programming	M. Gabbay, Dov
2007	Riemannian Holonomy Groups and Calibrated Geometry	D. Joyce, Dominic
2005	Graphs, Networks and Algorithms	Jungnickel, Dieter
2011	Handbook of Mathematical Induction	S. Gunderson, David
2004	Reductive Logic and Proof-search	J. Pym, David; Ritter, Eike
2008	Discrete mathematics for computer science	Liben-Nowell, David
1992	Basic Partial Differential Equations	Bleecker, David; Csordas, George
1997	Intermediate Logic	Bostock, David
2012	Logic: a Brief Course	Mundici, Daniele
2000	Mathematics and Computer Science	Gardy, Daniele; Mokkadem, Abdelkader
2006	Optimal State Estimation	Simon, Dan
2003	Many-Dimensional Modal Logics: Theory and Applications	Gabbay, D.M.
2010	An Introduction to the Theory of Graph Spectra	Cvetkovi´c, Dragoš
2000	Discrete Mathematics Using aComputer	Hall, Cordelia; O'Donnell, John
1997	Logic with trees	Howson, Colin
2002	Harmonic Functions on Groups and Fourier Algebras	Chu, Cho-Ho; To-Ming Lau, Anthony
2006	Probabilistic Combinatorial Optimization on Graphs	Murat, Cécile; Th. Paschos, Vangelis
1994	A Recursive Introduction to The Theory of Computation	H. Smith, Carl
2002	Mathematics and Computer Science II	Chauvin, Brigitte; Flajolet, Philippe
199	Optimal Control	O. Anderson, Brian D.; B. Moore, John