Truth, deduction, and computation : logic and semantics for computer science

R. E. Davis
Bok · Engelsk · 1989

Utgitt	New York : Computer Science Press , c1989
Omfang	xv, 265 s.
Emner	Electronic data processing Logic, Symbolic and mathematical Programming languages (Electronic computers) - Semantics Matematisk logikk - Databehandling Vis mer... Programmeringsspråk - Semantikk programmeringsspråk semantikk matematisk logikk
ISBN	0716782014