An edition of Computational Logic and Set Theory (2005)

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

by , , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Computational Logic and Set Theory by Jacob T. T. Schwartz, Martin Davis, Domenico Cantone, Eugenio G. Omodeo
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
April 23, 2020 | History
Edit
An edition of Computational Logic and Set Theory (2005)

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

by , , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
Springer
Pages
436

Check nearby libraries

Buy this book

Showing 3 featured editions. View all 3 editions?

Edition Availability
Cover of: Computational Logic and Set Theory
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Sep 06, 2014, Springer
paperback
  • Not in Library
Libraries near you: WorldCat
Cover of: Computational Logic and Set Theory
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Jul 28, 2011, Springer
paperback
Libraries near you: WorldCat
Cover of: Computational Logic and Set Theory
Computational Logic and Set Theory
May 18, 2005, Springer-Verlag New York Inc.
hardcover
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Source title: Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Classifications

Library of Congress
QA75.5-76.95

The Physical Object

Format
paperback
Number of pages
436

ID Numbers

Open Library
OL27951728M
ISBN 10
1447160185
ISBN 13
9781447160182

Source records

amazon.com record
Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
April 23, 2020 Created by ImportBot import new book