Buy Used and New Mathematical Logic Books

Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings: 2157 (Lecture Notes in Computer Science)

by Michele Sebag,Celine Rouveirol

ISBN 13: 9783540425380

Format: Paperback (272 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Dynamic Epistemic Logic (Synthese Library)

by Hans van Ditmarsch,Wiebe van der Hoek,Barteld Kooi

ISBN 13: 9781402069086

Format: Paperback (307 pages)
Publisher: Springer
Published: 15 Nov 2007

Save for later

Grundlagen Der Computerlinguistik: Mensch-Maschine-Kommunikation in Nat Rlicher Sprache: Mensch-Maschine-Kommunikation in natürlicher Sprache. Mit 772 Übungen

by Roland Hausser

ISBN 13: 9783540671879

Format: Paperback (584 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 14 Jul 2000

Save for later

Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)

by Ethan D. Bloch

ISBN 13: 9781441971265

Format: Hardcover (383 pages)
Publisher: Springer
Published: 21 Feb 2011

Save for later

The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number

by Gottlob Frege

ISBN 13: 9780631126942

Format: Paperback (119 pages)
Publisher: John Wiley & Sons
Published: 30 Oct 1980

Save for later

Modal Logic: An Introduction to its Syntax and Semantics

by Nino B. Cocchiarella,Max A. Freund

ISBN 13: 9780195366570

Format: Paperback (288 pages)
Publisher: OUP USA
Published: 14 Aug 2008

Save for later

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642216909

Format: Paperback (257 pages)
Publisher: Springer
Published: 23 May 2011

Save for later

Theory and Applications of Models of Computation: 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings: 8th Annual Conference, ... Computer Science and General Issues)

by

ISBN 13: 9783642208768

Format: Paperback (579 pages)
Publisher: Springer
Published: 03 May 2011

Save for later

Inductive Logic (Handbook of the History of Logic)

by

ISBN 13: 9780444529367

Format: Hardcover (800 pages)
Publisher: North Holland
Published: 20 May 2010

Save for later

Axiom of Choice (Lecture Notes in Mathematics)

by Horst Herrlich

ISBN 13: 9783540309895

Format: Paperback (208 pages)
Publisher: Springer
Published: 11 May 2006

Save for later

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

by Alan P. Parkes

ISBN 13: 9781852334642

Format: Paperback (304 pages)
Publisher: Springer
Published: 26 Apr 2002

Save for later

The Incompleteness Phenomenon

by Martin Goldstern,Haim Judah

ISBN 13: 9781568810294

Format: Hardcover (218 pages)
Publisher: A K Peters/CRC Press
Published: 15 Jun 1995

Save for later