Computational aspects of an order-sorted logic with term declarations

M. Schmidt-Schauss
Bok · Engelsk · 1989

Utgitt	Berlin : Springer-Verlag , c1989
Omfang	VIII, 171 s.
Emner	Logic, Symbolic and mathematical Sorting (Electronic computers) Matematisk logikk : (NO-TrBIB)REAL012433 Matematisk logikk - Databehandling
ISBN	0387517057. - 3540517057