An edition of Analysis and synthesis of logics (2008)

Analysis and synthesis of logics

how to cut and paste reasoning systems

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Analysis and synthesis of logics by Walter Carnielli ... [et al.].
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 MARC Bot
November 30, 2023 | History
Edit
An edition of Analysis and synthesis of logics (2008)

Analysis and synthesis of logics

how to cut and paste reasoning systems

by

  • 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
Language
English
Pages
600

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Symbolic and mathematical Logic, Logic, symbolic and mathematical, Mathematics, Logic, Computer science, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages
Edition Availability
Cover of: Analysis and synthesis of logics
Analysis and synthesis of logics: how to cut and paste reasoning systems
2008, Springer
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 559-578) and index.

Published in
Dordrecht
Series
Applied logic series -- v. 35

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9 .A634 2008, QA8.9-10.3, QA9 .A624 2008

The Physical Object

Pagination
xvi, 600 p. :
Number of pages
600

ID Numbers

Open Library
OL18728053M
Internet Archive
analysissynthesi00carn_206
ISBN 10
140206781X, 1402067828
ISBN 13
9781402067815, 9781402067822
LCCN
2008920294
OCLC/WorldCat
180474052
Library Thing
5220971
Goodreads
3179391

Source records

Library of Congress MARC record
Internet Archive item record
Internet Archive item record
Library of Congress MARC record
Better World Books record
Better World Books record
marc_columbia MARC record
amazon.com record
harvard_bibliographic_metadata 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
November 30, 2023 Edited by MARC Bot import existing book
February 25, 2022 Edited by ImportBot import existing book
February 19, 2019 Created by MARC Bot import existing book