On the axiomatization of "if-then-else" /

Na minha lista:
Detalhes bibliográficos
Autor principal: Guessarian, Irène, 1948-
Outros Autores: Mesaguer, José
Formato: Livro
Idioma:English
Publicado em: Stanford, CA : Center for the Study of Language and Information, Stanford University, c1985.
coleção:Report (Center for the Study of Language and Information (U.S.)) ; no. CSLI-85-20.
Assuntos:
Descrição
Descrição Física:38 p. : charts ; 28 cm.
Bibliografia:Bibliography: p. 34-35.