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)
• প্রকাশনার বছর: 2012
• ভাষা: English
• মালা: Advances in logic ; v. 5.
• দৈহিক বর্ননা: xxxii, 266 p.
• গ্রন্থ-পঞ্জী: Includes bibliographical references (p. 253-264) and index.
• আইসবিএন: 9814360953; 9789814360951; 9789814360968 (electronic bk.)
• Hierarchical level: Monograph
• Statement of Responsibility: Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.