Proof and Disproof in Formal Logic : An itroduction for programmers

Uložené v:
Podrobná bibliografia
Hlavný autor: Bornat, Richard (Autor)
Médium: Kniha
Jazyk:English
Vydavateľské údaje: Oxford : Oxford University Press, 2005
Vydanie:1. vyd.
Predmet:
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!