Labelled deductive systems / Dov M. Gabbay
Resource type: Ressourcentyp: GesamtaufnahmeGesamtaufnahmeSprache: Englisch Reihen: Oxford logic guides ; ...Bände: Zeige BändeVerlag: Oxford : Clarendon Press, 1996-Schlagwörter: RVK: RVK: SK 130PPN: PPN: 1127405985Dieser Titel hat keine Exemplare