An extension of propositional logic by algorithmic concepts
Kroger, F
An extension of propositional logic by algorithmic concepts F. Kroger - Munchen Technischen Universitat Munchen - 35 p ill 20 cm - TUM Abteilung Mathematik Bericht Nr. 7419 .
Contine bibliografie
An extension of propositional logic by algorithmic concepts F. Kroger - Munchen Technischen Universitat Munchen - 35 p ill 20 cm - TUM Abteilung Mathematik Bericht Nr. 7419 .
Contine bibliografie