Enlarge

Analysis and synthesis of logics : how to cut and paste reasoning systems

Publication Data

Title Analysis and synthesis of logics : how to cut and paste reasoning systems
Contributor Walter A. Carnielli
Publisher Springer
Publication date 2008
Publication location Dordrecht
Language English

Topics

Logic, Symbolic and mathematical

Catalogue Data

OBNB ID GBA788563
ISBN 10 140206781X
ISBN 13 9781402067822
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 xvi, 600 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Analysis and synthesis of logics : how to cut and paste reasoning systems. ISBN 9781402067822. Published by Springer in 2008. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.