Open Educational Resources

Peano arithmetic

Here you will find all the resources identified by our tutors as useful for the study of this topic, arranged in ascending alphabetical order. Browse the tiles and descriptions to discover if there are any resources of interest to you, or click on any of the other keywords to see resources sorted by alternative topics.

Displaying 1 - 1 of 1
Typesort descending Title Description Keywords Full details
Link Logic II, Spring 2004

Full course with lecture notes, syllabus, assignments etc.. It introduces the theory of computability and goes on to study Godel's theorems,...

Tarski, Godel, Incompleteness theorems, Modal logic, Provability logic, Truth, Peano arithmetic, Church-Turing thesis view
Subscribe to Peano arithmetic