Computability and logic

George Boolos, Richard Jeffrey
Bok Engelsk 1980


Utgitt	Cambridge : Cambridge University Press , 1980
Omfang	X, 285 s. : fig.
Utgave	2nd ed.
Emner	Computable functions Logic, Symbolic and Mathematical Recursive functions Logikk Vis mer... Matematisk logikk Symbolsk logikk symbolsk logikk metalogikk
ISBN	0521234794. - 0521299675

Computability and logic
George Boolos
George S. Boolos, Richard C. Jeffrey

Bok · Engelsk · 1989

Computability and logic
George Boolos, Richard Jeffrey

Bok · Engelsk · 1974

Biblioteksøk