steve@hubcap.clemson.edu ("Steve" Stevenson) (06/12/91)
I am interested in finding out what work has been done in axiomitizing computation theory. I recall that Hennie has an axiom system in his book, but I am unaware of others. Hennie's is really for computability in its full glory and not, for example, things below primitive recursion on the ``Chomsky hierarchy'' Any help appreciated; will summarize, etc. steve -- =============================================================================== Steve (really "D. E.") Stevenson steve@hubcap.clemson.edu Department of Computer Science, (803)656-5880.mabell Clemson University, Clemson, SC 29634-1906