Logic and computer science

edited by Piergiorgio Odifreddi
Bok · Engelsk · 1990

Utgitt	London : Academic Press , c1990
Omfang	430 s.
Emner	Matematisk logikk - Databehandling logikk databehandling logisk programmering
ISBN	0125242204