Proof theory: sequent calculi and related formalisms

other_versions_link
מידע ביבליוגרפי
מחבר ראשי: Bimbo, Katalin
פורמט: Printed Book
שפה:English
יצא לאור: Boca Raton CRC Press 2015
נושאים:
Proof theory
תיאור
תיאור פיזי:376p.

פריטים דומים