Georg Moser - Interessen - alle Infos bei Yasni.de

(1 - 5 von 5

)

Herbrand complexity and the epsilon calculus with equality.PhilPapers

philpapers.org

von K Miyamoto · · Zitiert von: 2 — Kenji Miyamoto & Georg Moser · Archive for Mathematical Logic 63 (1): Georg Moser & Richard Zach Studia Logica 82 (1): von K Miyamoto · · Zitiert von: 2 — Kenji Miyamoto & Georg Moser · Archive for Mathematical Logic 63 (1): Georg Moser & Richard Zach Studia Logica 82 (1):

Georg Moser, Ackermann’s substitution method - PhilPapers

philpapers.org

We aim at a conceptually clear and technically smooth investigation of Ackermann’s substitution method [W. Ackermann, Zur Widerspruchsfreiheit der...

Matthias Baaz & Georg Moser, Herbrand's theorem and term induction -...

philpapers.org

We study the formal first order system TIND in the standard language of Gentzen's LK . TIND extends LK by the purely logical rule of term-induction, that is a...

Verwandte Suchanfragen zu Georg Moser

Person "Moser" (39)
Vorname "Georg" (36045)
Name "Moser" (2929)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Interessen Georg Moser

Herbrand complexity and the epsilon calculus with equality.PhilPapers

Georg Moser, Ackermann’s substitution method - PhilPapers

Matthias Baaz & Georg Moser, Herbrand's theorem and term induction -...