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.
• ISBN: 9783868380873; 9783110324525; 9783110324907 (electronic bk.)
• Hierarchical level: Monograph
• Statement of Responsibility: Ralf Schindler (ed.).