T21_19
3 Maio 2019, 10:30 • Mário Jorge Edmundo
Lema de Henkin; teorema de completude de Godel, teorema de compacidade (duas novas demonstrações), teorema de Lowenheim-Skolem (outra vez).
3 Maio 2019, 10:30 • Mário Jorge Edmundo
Lema de Henkin; teorema de completude de Godel, teorema de compacidade (duas novas demonstrações), teorema de Lowenheim-Skolem (outra vez).