Computability & Logic

Selmer Bringsjord


Kari Coleman's Amazing M* Machine


Handouts



Alan Turing Web Site


Top Level of Bringsjord's Web Site