Je was op zoek naar: bibliopolis (Engels - Duits)

bibliopolis.
ergänzungsbände.

bibliopolis, naples 1989.
bibliopolis, neapel 1989.

*"sfinimondo", bibliopolis, 2003.
*"sfinimondo", bibliopolis, 2003.

" (napoli, bibliopolis, 2009) (elenchos, 51).
reimer, berlin 1902 (kritische ausgabe)* hugo rabe (hrsg.

" bibliopolis 2001, isbn 978-3-941336-09-4.
) bibliopolis, mannheim 2001, isbn 3-933925-21-5.

bibliopolis, möhnesee-wamel 2006, isbn 3-933925-82-7.
bibliopolis, möhnesee-wamel 2006, isbn 3-933925-82-7.

[h2] bibliopolis has built more than 300 online stores for independent booksellers around the world.
[h2] bibliopolis has built more than 300 online stores for independent booksellers around the world.

[h4] bibliopolis provides booksellers with all the tools needed to operate a successful online bookstore.
[h4] bibliopolis provides booksellers with all the tools needed to operate a successful online bookstore.

into english as "proof theory", springer-verlag 1977* "vollständige systeme modaler und intuitionistischer logik", springer 1968* with wilfried buchholz: "proof theory of impredicative subsystems of analysis", bibliopolis, naples 1988* with helmut schwichtenberg: "mathematische logik", in fischer, hirzebruch et al.
== schriften ==* "beweistheorie", springer, grundlehren der mathematischen wissenschaften, 1960, englische überarbeitete neuauflage als "proof theory", springer 1977* "vollständige systeme modaler und intuitionistischer logik", springer 1968* mit wilfried buchholz: "proof theory of impredicative subsystems of analysis", bibliopolis, neapel 1988* mit helmut schwichtenberg: "mathematische logik", in fischer, hirzebruch u.a.