Logic for mathematics and computer sicence

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

Gardado en:
Detalles Bibliográficos
Autor Principal: Burris, Stanley N.
Formato: Libro
Idioma:Undetermined
Publicado: New Jersey Prentice Hall 1998
Những chủ đề:
Các nhãn: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ