Proof-theoretic semantics
By: Nissim Francez
Series: Studies in logic -- v. 57
Publisher: College Publications
Published: 2015
Place of publication: London
Language: eng
Number of pages: 415
ISBN-13: 9781848901834
Subjects: Symbolic and mathematical Logic; Proof theory; Semantics
Notes: Includes bibliographical references (pages 381-395) and indexes.