An Introduction to Gödel’s Theorems

An Introduction to Gödel’s Theorems (2005)

by Peter Smith

Citations:

5 - 0 self

@MISC{Smith05anintroduction,
    author = {Peter Smith},
    title = {An Introduction to Gödel’s Theorems},
    year = {2005}
}

1	A programming formalism for PR. www.cs.yorku.ca/∼gt/papers/ loop-programs.pdf - Tourlakis - 2002