Wansing, Heinrich: The logic of information structures
/ Heinrich Wansing. - Berlin : Springer, 1993. - IX, 163 S.; 24 cm - (Lecture notes in computer science; 681 : Lecture notes in artificial intelligence)
ISBN 978-3-540-56734-9 / 3-540-56734-8 kart. : DM 46.00
Literaturverz. S. 149 - 155
Quelle: DNB
Hoof, Antonius J. M. van: Der logisch-pragmatische Gebrauch von Konditionalsätzen
: eine dialog-logische Analyse / Antonius J. M. van Hoof. - Berlin : Springer, 1995. - 146 S. : graph. Darst.; 21 cm - (IPA-IAO-Forschung und Praxis; Bd. 216)
ISBN 978-3-540-59463-5 / 3-540-59463-9 kart. : DM 88.00
Quelle: DNB
Bittel, Oliver: Ein tableaubasierter Theorembeweiser für die intuitionistische Logik
/ Oliver Bittel. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1991. - 184 S.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 198)
ISBN 978-3-486-22143-5 / 3-486-22143-4 kart. : ca. DM 50.00
Literaturverz. S. 179 - 182
Quelle: DNB
Rahman, Shahid: Über Dialoge, protologische Kategorien und andere Seltenheiten
/ Shadid Rahman. - Frankfurt am Main : Lang, 1993. - XI, 318 S. : graph. Darst.; 19 cm - (Europäische Hochschulschriften : Reihe 20, Philosophie; Bd. 408)
ISBN 978-3-631-46583-7 / 3-631-46583-1 kart. : sfr 62.00
Quelle: DNB
