Proof and Disproof in Formal Logic : An itroduction for programmers

Saved in:
Bibliographic Details
Main Author: Bornat, Richard (Author)
Format: Book
Language:English
Published: Oxford : Oxford University Press, 2005
Edition:1. vyd.
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!