标题:amp;amp;阿提特:\(\epsilon\)-calculi中的剪切消除amp;amp;奥拉斯特:靖原amp;amp;日期:1982amp;amp;数字对象标识:10.1002/铝19820282004amp;amp;体裁:文章amp;amp;身份证件:3873322amp;amp;issn公司:0044-3050amp;amp;碎片:311amp;amp;搅拌棒:Z.数学。Logik Grundlagen数学。amp;amp;标题:Zeitschrift für Mathematische Logik和Grundlagen der Mathematikamp;amp;体积:28sid:FIZ卡尔斯鲁厄:zbMATH
Ihre机构/书目馆
×Entschuldigung公司:Wir konnten Sie leider nicht automatisch einer书目/Einrichtung zuordnen。 Bitte verwenden Sie das nachstehende Suchformular order die Karte,um Ihre Heimateinrichtung auszuwählen。