http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Metamathematics, machines, and Godel's proof
Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
Cambridge tracts in theoretical computer science
Cambridge tracts in theoretical computer science v. 38