Cover von Methods of Cut-Elimination opens in new tab

Methods of Cut-Elimination

Author: Search for this author Baaz, Matthias; Leitsch, Alexander
Statement of Responsibility: Matthias Baaz ; Alexander Leitsch
Year: 2011
Publisher: Berlin, Springer
Series: Trends in logic; 34
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: BAAZ MATTHIAS Location 2: 2nd FLOOR Location 3: Status: reference collection

Details

Author: Search for this author Baaz, Matthias; Leitsch, Alexander
Statement of Responsibility: Matthias Baaz ; Alexander Leitsch
Year: 2011
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-9-400-73497-5
ISBN (2nd): 9-400-73497-2
Description: VI, 287 S.
Series: Trends in logic; 34
Search for this character
Media group: MONOGRAPHIE