Open Educational Resources

Type theory

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 ascending Title Description Keywords Full details
Link Russell's Paradox

Explores Russell's paradox; includes account of Frege, type theory, classes and sets

Logicism, paradox, Russell, Frege, Type theory view
Subscribe to Type theory