Proof and disproof in formal logic : an introduction for programmers - Bornat, Richard, 1944- (Oxford ; New York : Oxford University Press, 2005)
Register: s. [239]-243
Keywords: formálna logika; programovanie; monografie