Lógica e aritmética : uma introdução informal aos métodos formais
Sparad:
| Huvudupphovsman: | |
|---|---|
| Publicerad: |
Gradiva
1991
|
| Upplaga: | 1ª |
| Ämnen: | |
| Länkar: | Ver na biblioteca |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
Lägg till första kommentaren!