Term logic with choice operator
de Hans Hermes
Materias
Ediciones (2)
- Term Logic with Choice Operator (2013)
Springer London, Limited · inglés · ISBN 9783540362036
- Term logic with choice operator. (1970)
Springer-Verlag · inglés
de Hans Hermes
Springer London, Limited · inglés · ISBN 9783540362036
Springer-Verlag · inglés
