Applied proof theory proof interpretations and their use in mathematics

other_versions_link
מידע ביבליוגרפי
מחבר ראשי: Kohlenbach. U.
פורמט: Printed Book
שפה:English
יצא לאור: Heidelberg Springer 2008
נושאים:
Mathematical logic
Proof theory

UL

פרטי מלאי ספרים מ UL
סימן המיקום: 510.6 KOH
עותק סטטוס עדכני לא זמין

פריטים דומים