» voriges Buch (Hrg.): Model Theory and Topoi.
» nächstes Buch: Grundzüge der Nichtsequentiellen Programmierung.