Prática 12

10 dezembro 2019, 13:00 • João Rasga

Exercício sobre a teoria do sucessor ter embebimentos exists-elementares e sobre a categoricidade da teoria dos grafos extensionais.