Buch, Englisch, 330 Seiten, Format (B × H): 152 mm x 229 mm, Gewicht: 621 g
Buch, Englisch, 330 Seiten, Format (B × H): 152 mm x 229 mm, Gewicht: 621 g
Reihe: Lecturers on Mathematical Logic
ISBN: 978-0-367-39858-3
Verlag: Taylor & Francis Ltd
Autoren/Hrsg.
Weitere Infos & Material
1. Sequent Calculi for Positive Logic 2. Cuts 3. Continuous Cut Elimination 4. Sequent Calculis for Minimal and Intuitionistic Logic 5. Classes of Algebras Associated to a Calculus 6. Calculii of Formulas 7. Sequent Calculii for Quantifier Logic 8. Semantical Consequence Operations and Modus Ponens Calculi 9. Selected Topics in Sequential Quantifier Logic