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

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Guessarian, Irène, 1948-
Beste egile batzuk: Mesaguer, José
Formatua: Liburua
Hizkuntza:English
Argitaratua: Stanford, CA : Center for the Study of Language and Information, Stanford University, c1985.
Saila:Report (Center for the Study of Language and Information (U.S.)) ; no. CSLI-85-20.
Gaiak:

CARM 1 Store

Aleari buruzko argibideak CARM 1 Store
Sailkapena: A2:AN10E0 D05666
Alea 1 Eskuragarri  Erreserbatu