Elementary Logic: For Software Development
by Robert Lover
ISBN 13: 9781848000810
Format: Paperback (314 pages) Publisher: Springer Published: 01 Sep 2008
Save for later
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, ... Computer Science and General Issues)
by
ISBN 13: 9783642040269
Format: Paperback (567 pages) Publisher: Springer Published: 28 Aug 2009
Automata Theory and its Applications (Progress in Computer Science and Applied Logic (PCS))
by Bakhadyr Khoussainov,Anil Nerode
ISBN 13: 9780817642075
Format: Hardcover (430 pages) Publisher: Birkhauser Published: 01 Jul 2001
The Market Revolution: Jacksonian America 1815-1846: Jacksonian America, 1815-46
by Charles Sellers
ISBN 13: 9780195089202
Format: Paperback (512 pages) Publisher: OUP USA Published: 14 Jul 1994
Analysis And Control Of Nonlinear Systems With Stationary Sets: Time-Domain And Frequency-Domain Methods
by Duan Zhisheng, Yang Ying & Huang Lin Wang Jinzhi
ISBN 13: 9789812814692
Format: Hardcover (336 pages) Publisher: World Scientific Publishing Published: 09 May 2009
Theories of Computability
by Nicholas Pippenger
ISBN 13: 9780521153430
Format: Paperback (264 pages) Publisher: Cambridge University Press Published: 10 Jun 2010
Topics in Topological Graph Theory (Encyclopedia of Mathematics and its Applications)
ISBN 13: 9780521802307
Format: Hardcover (366 pages) Publisher: Cambridge University Press Published: 09 Jul 2009
Applied Numerical Methods for Engineers
by Terrence J. Akai
ISBN 13: 9780471575238
Format: Paperback (410 pages) Publisher: John Wiley & Sons Published: 11 Mar 1994
Classical Mathematical Logic: The Semantic Foundations of Logic
by Richard L. Epstein
ISBN 13: 9780691123004
Format: Hardcover (544 pages) Publisher: Princeton University Press Published: 03 Jul 2006
Subsystems of Second Order Arithmetic (Perspectives in Logic)
by Stephen G. Simpson
ISBN 13: 9780521884396
Format: Hardcover (464 pages) Publisher: Cambridge University Press Published: 29 May 2009
Bledsoe:Auto Theo Prov Conm 29 P (Contemporary Mathematics): After 25 Years
by W. W Bledsoe,Donald W. Loveland
ISBN 13: 9780821850275
Format: Paperback (360 pages) Publisher: American Mathematical Society Published: 15 Dec 1984
Mathematical Constants (Encyclopedia of Mathematics and its Applications)
by Steven R. Finch
ISBN 13: 9780521818056
Format: Hardcover (624 pages) Publisher: Cambridge University Press Published: 18 Aug 2003