Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine
By: Paolo Maffezioli
Series: Heuresis. V, Linguaggio, logica, scienza -- 19; Heuresis -- 19
Publisher: CLUEB
Published: 2020
Place of publication: Bologna
Language: ita
Number of pages: 113
ISBN-13: 9788849156812
Subjects: Interpolation; Symbolic and mathematical Logic; Intuitionistic mathematics; First-order logic
Notes: Includes bibliographical references (pages 111-113).