Computability and logic

Boolos, George, 1940-1996

Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey. -- 4th ed. -- Cambridge : Cambridge University Press, c2002. -- xi, 356 s. -- Reprinted 2006. -- ISBN : 0-521-00758-5.
I. Burgess, John P., 1948- II. Jeffrey, Richard C., 1926-2002


matematika * logika * matematická logika * logické funkce * matematické funkce * teorie matematiky
51