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:

CARM 1 Store

Detalhes do Exemplar CARM 1 Store
Área/Cota: A2:AN10E0 D05666
Cópia 1 Disponível  Localização