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

Not in Library

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

Showing 3 featured editions. View all 3 editions?

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