Methods of Cut-EliminationAlexander Leitsch

Methods of Cut-Elimination

Alexander Leitsch · 2011

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2011
שפה: English
סדרה: Trends in Logic -- 34
הוצאה: Springer Science+Business Media B.V.
מהדורות: 3
ISBN: 9789400703193

מקור הנתונים: Wikidata

עוד של Alexander Leitsch

Automated reasoningAlexander Leitsch

Automated reasoning

Alexander Leitsch · 2001

The Resolution CalculusAlexander Leitsch

The Resolution Calculus

Alexander Leitsch · 2012