An edition of Computational Logic and Set Theory (2005)

Computational Logic and Set Theory

by Jacob T. T. Schwartz, Martin Davis, Domenico Cantone, and Eugenio G. Omodeo

Locate

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

April 23, 2020 | History

Edit

An edition of Computational Logic and Set Theory (2005)

This edition doesn't have a description yet. Can you add one?

Publish Date

May 18, 2005

Publisher

Springer-Verlag New York Inc.

Pages

370

Check nearby libraries

Buy this book

Edition	Availability
1 Computational Logic and Set Theory: Applying Formalized Logic to Analysis Sep 06, 2014, Springer paperback 1447160185 9781447160182	zzzz Locate
2 Computational Logic and Set Theory: Applying Formalized Logic to Analysis Jul 28, 2011, Springer paperback 0857298097 9780857298096	zzzz Locate
3 Computational Logic and Set Theory May 18, 2005, Springer-Verlag New York Inc. hardcover 0387407626 9780387407623	aaaa Locate