A Proof Theory for General Unification. Boston, 1991. gr.8°. 5 figs. VI, 175 p. Hardbound. Progress in Computer Science and Applied Logic, 11.- Incl. bibliography.- In very good condition.
SNYDER, Wayne
Venduto da Antiquariat Renner OHG, Albstadt, Germania
Membro dell'associazione:
Venditore AbeBooks dal 4 giugno 2003
Usato
Quantità: 1 disponibili
Aggiungere al carrello