Stegmüller, Wolfgang/ Varga von Kibéd, Matthias: Probleme und Resultate der Wissenschaftstheorie und analytischen Philosophie. Band. 3: Strukturtypen der Logik ; Teil A: Junktoren und Quantoren, Baumverfahren, Sequenzenlogik, Dialogspiele, Axiomatik, Natürliches Schließen, Kalkül der Positiv- und Negativteile, Spielarten der Semantik.Berlin [u.a.], Springer, 1984. ISBN: 3540122117Gr.-8°. IV, 230 S. kart. (guter Zustand).