The functional interpretation of logical deduction / Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.

• Superior document: Advances in logic ; v. 5
• Author: ProQuest (Firm); Queiroz, Ruy J. G. B. de.
• TeilnehmendeR: Oliveira, Anjolina G. de.; Gabbay, Dov M., 1945-; ProQuest (Firm)
• Yayın Tarihi: 2012
• Dil: English
• Seri Bilgileri: Advances in logic ; v. 5.
• Fiziksel Özellikler: xxxii, 266 p.
• Bibliyografya: Includes bibliographical references (p. 253-264) and index.
• ISBN: 9814360953; 9789814360951; 9789814360968 (electronic bk.)
• Hierarchical level: Monograph
• Statement of Responsibility: Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.