Ways of proof theory / Ralf Schindler (ed.).

• Author: ProQuest (Firm); Schindler, Ralf.
• TeilnehmendeR: ProQuest (Firm)
• প্রকাশনার বছর: 2010
• ভাষা: English
• মালা: Ontos mathematical logic ; v. 2
• দৈহিক বর্ননা: v, 486 p. :; ill.
• গ্রন্থ-পঞ্জী: Includes bibliographical references.
• আইসবিএন: 9783868380873; 9783110324525; 9783110324907 (electronic bk.)
• Hierarchical level: Monograph
• Statement of Responsibility: Ralf Schindler (ed.).