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

Show other versions (1)
Bibliographic Details
Uniform Title:Studies in logic and the foundations of mathematics ; v. 135.
Main Author: Cantini, Andrea
Language:English
Published: Amsterdam ; New York : Elsevier, 1996.
Series:Studies in logic and the foundations of mathematics ; v. 135.
Subjects:
Logic, Symbolic and mathematical.
Truth.
Physical Description:xii, 461 pages : illustrations ; 23 cm.
Format: Book
Description
Call Number:QA9 .C324 1996
Bibliography Note:Includes bibliographical references (pages [425]-440) and index.
ISBN:0444823069 (alk. paper)