La littérature française des origines à la fin du XVIII siècle. Précis aide-mémoireOtakar NovákAgotadoNotifícame
Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der SemantikWolfgang StegmüllerAgotadoNotifícame
