imagem ilustrativa
Term logic with choice operator
Hans Hermes
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 1970
- ISBN: 9783540048992
- Term logic with choice operator

Descrição: Term Logic with Choice Operator
Descrição: Term Logic with Choice Operator