Decidable Theories : Vol. 2
de G. H. Müller, J. R. Büchi, D. Siefkes
Ediciones (1)
- Decidable Theories : Vol. 2 (2006)
Springer London, Limited · inglés · ISBN 9783540469469
de G. H. Müller, J. R. Büchi, D. Siefkes
Springer London, Limited · inglés · ISBN 9783540469469