文档介绍：Computational Logic and Set Theory
Jacob T. Schwartz Domenico Cantone
Eugenio G. Omodeo
Computational
Logic and Set
Theory
Applying Formalized Logic to Analysis
Foreword by Martin Davis
Prof. Eugenio G. Omodeo
(January 9, 1930–March 2, 2009) Dept. of Mathematics & Computer Science
New York University University of Trieste
New York, NY Via Valerio 12/1
USA 34127 Trieste,
Italy
Prof. Domenico Cantone ******@
Dept. of Mathematics & Computer Science
University of Catania
VialeAndreaDoria6
95125 Catania
Italy
******@
ISBN 978-0-85729-807-2 e-ISBN 978-0-85729-808-9
DOI -0-85729-808-9
Springer London Dordrecht Heidelberg New York
British Library Cataloguing in Publication Data
A catalogue record for this book is available from the British Library
Library of Congress Control Number: 2011934034
© Springer-Verlag London Limited 2011
Apart from any fair dealing for the purposes of research or private study, or criticism or review, as per-
mitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced,
stored or transmitted, in any form or by any means, with the prior permission in writing of the publish-
ers, or in the case of reprographic reproduction in accordance with the terms of licenses issued by the
Copyright Licensing Agency. Enquiries concerning reproduction outside those terms should be sent to
the publishers.
The use of registered names, trademarks, etc., in this publication does not imply, even in the absence of a
specific statement, that such names are exempt from the relevant laws and regulations and therefore free
for general use.
The publisher makes no representation, express or implied, with regard to the accuracy of the information
contained in this book and cannot accept any legal responsibility or liability for any errors or omissions
that may be made.
Cover design: VTeX UAB, Lithuania
Printed on acid-free paper
Springer