Cap. 5 - Abstracção de dados
17 março 2011, 08:00 • Maria dos Remédios Vaz Pereira Lopes Cravo
2.5 Nomes locais
5.1 O tipo posição
5.1.1 Posições como números de Godel
5.1.2 Essência da abstracção de dados
5.1.3 O tipo par
5.1.4 Posições como pares