Beweisbarkeitslogik. Gödel, Rosser, Solovay

Christopher

von Christopher von Bülow

Taschenbuch

ISBN-13: 978-3-8325-1295-8

ISBN-10: 3-8325-1295-0

Logos Berlin · 2006