Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini.

• Material Type: 図書
• ISBN: 0444823069 (alk. paper)
• Title: Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini.
• Series Title: Studies in logic and the foundations of mathematics ; v. 135
• Author Heading: Cantini, Andrea.
• Publication, Distribution, etc.: Amsterdam : Elsevier Science B.V.; Tokyo : Elsevier Science B.V.
• Publication Date: 1996.
• Publication Date (W3CDTF): 1996
• Extent: xii, 461 p. ; 23 cm.
• Place of Publication (Country Code): US
• Text Language Code: eng
• Subject Heading: 記号論理学. Kigoronrigaku.; Logic, Symbolic and mathematical.; Truth.
• LCC: QA9
• DDC: 511.3
• NDLC: MA41
• Note (Bibliography): Includes bibliographical references (p. [425]-440) and index.
• Holding library: 国立国会図書館
• Call No.: MA41-A102
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003249450; http://id.ndl.go.jp/bib/000003249450
• LC Control Number: 96004681; https://lccn.loc.gov/96004681
• Bibliographic Record Category (NDL): 211

Table of Contents

CONTENTS

Preface/ v

Contents/ ix

Introduction/ 1

PART A:　COMBINATORS AND TRUTH/ 11