Media type: Book Title: Sprache, Beweis und Logik Work titles: Language, proof and logic <dt.> Barwise, Jon: Language, proof and logic <dt.> Contributor: Barwise, Jon [Author]; Etchemendy, John [Author]; Allwein, Gerard [Other] imprint: Paderborn: mentis, 2005-2006 Language: German RVK notation: CC 2500 : Philosophische Logik CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung Origination: Footnote:
Barwise, Jon [Author]; Etchemendy, John [Author] 2: Sprache, Beweis und Logik 2 Anwendungen und Metatheorie Jon Barwise; John Etchemendy. In Zsarb. mit Gerard Allwein ... Übers. u. für d. Dt. bearb. von Joachim Bromand Paderborn: mentis, 2005-2006
Barwise, Jon [Author]; Etchemendy, John [Author] 1: Sprache, Beweis und Logik 1 Aussagen- und Prädikatenlogik Jon Barwise; John Etchemendy. In Zsarb. mit Gerard Allwein ... Übers. u. für d. Dt. bearb. von Joachim Bromand Paderborn: mentis, 2005-2006