Logic for mathematics and computer sicence

Contents: Quantifier-free logics; propositional logic; equational logic; logic with quantifiers.

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Burris, Stanley N.
Materialtyp: Bok
Språk:Undetermined
Publicerad: New Jersey Prentice Hall 1998
Ämnen:
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

Liknande verk