Theorem Proving with Analytic Tableaux and Related Methods: 5th International Wo
67,31 €
On sets, types, fixed points, and checkerboards. - Fibred tableaux for multi-implication logics. - Interpolation for a sequent calculus of generalized quantifiers. - Almost duplication-free tableau calculi for prepositional lax logics.
Jetzt bei Ebay:
