Proof and disproof in formal logic : an introduction for programmers /

Zapisane w:
Opis bibliograficzny
1. autor: Bornat, Richard
Format: CD-ROM
Wydane:
Hasła przedmiotowe:
Dostęp online:https://app.bczm.ufrn.br/home/#/item/102123
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!