Labelled deductive systems / Dov M. Gabbay
Resource type: Ressourcentyp: GesamtaufnahmeSetLanguage: English Series: Oxford logic guides ; ...Volumes: Show volumesPublisher: Oxford : Clarendon Press, 1996-Subject(s): RVK: RVK: SK 130PPN: PPN: 1127405985No physical items for this record