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.).