Buy Used and New Mathematical Logic Books

Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings: 5937 (Lecture Notes in Computer Science)

by Manuel Carro,Ricardo Peña

ISBN 13: 9783642115028

Format: Illustrated (297 pages)
Publisher: Springer
Published: 12 Jan 2010

Save for later

Naive Set Theory (Undergraduate Texts in Mathematics)

by P. R. Halmos

ISBN 13: 9780387900926

Format: Hardcover (111 pages)
Publisher: Springer
Published: 24 Oct 1974

Save for later

Mathematical Logic (Undergraduate Texts in Mathematics)

by H.-D. Ebbinghaus,J. Flum,W. Thomas

ISBN 13: 9780387942582

Format: Illustrated (308 pages)
Publisher: Springer
Published: 01 Dec 1996

Save for later

Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures: 5832 (Lecture Notes in Computer Science)

by Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra

ISBN 13: 9783642046513

Format: Paperback (331 pages)
Publisher: Springer
Published: 23 Sep 2009

Save for later

Advances in Case-Based Reasoning: 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4-7, 2002 Proceedings: 2416 (Lecture Notes in Computer Science)

by Susan Craw,Alun Preece

ISBN 13: 9783540441090

Format: Paperback (676 pages)
Publisher: Springer
Published: 21 Aug 2002

Save for later

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 11th International Conference, RSFDGrC 2007 Toronto, Canada, May 14-16, 2007 Proceedings: 4482 (Lecture Notes in Computer Science)

by Aijun An,Witold Pedrycz,Jerzy Stefanowski,Sheela Ramanna,Cory J. Butz

ISBN 13: 9783540725299

Format: Illustrated (604 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)

by Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott

ISBN 13: 9783540719403

Format: Paperback (797 pages)
Publisher: Springer
Published: 20 Jul 2007

Save for later

Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783642005954

Format: Paperback (471 pages)
Publisher: Springer
Published: 09 Mar 2009

Save for later

Topology via Logic (Cambridge Tracts in Theoretical Computer Science)

by Steven Vickers

ISBN 13: 9780521576512

Format: Paperback (220 pages)
Publisher: Cambridge University Press
Published: 22 Aug 1996

Save for later

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings: 4603 (Lecture Notes in Computer Science, 4603)

by Frank Pfenning

ISBN 13: 9783540735946

Format: Illustrated (536 pages)
Publisher: Springer
Published: 05 Jul 2007

Save for later

Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... (Lecture Notes in Computer Science)

by

ISBN 13: 9783540633983

Format: Paperback (425 pages)
Publisher: Springer
Published: 13 Aug 1997

Save for later

Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)

by Robert Goldblatt

ISBN 13: 9780486450261

Format: Paperback (576 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later