Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Springer (9789401032711) | Synthese library
Preis von (3 Angebote)105.14 EUR
Weitere Informationen
Springer (9789401032711) | Synthese library