Logic for mathematics and computer sicence

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

Saved in:

Bibliographic Details
Main Author:	Burris, Stanley N.
Format:	Book
Language:	Undetermined
Published:	New Jersey Prentice Hall 1998
Subjects:	Toán học logic,Logic, symbolic and mathematical
Tags:	Add Tag No Tags, Be the first to tag this record!

Institutions:	Trung tâm Học liệu Trường Đại học Cần Thơ

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_hmhb3979fjgh0s0v4rc63s8mmp
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235

Logic for mathematics and computer sicence

Similar Items