Please use this identifier to cite or link to this item:
http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/15701Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Paris, Jeff | - |
| dc.date.accessioned | 2016-12-13T02:56:51Z | - |
| dc.date.available | 2016-12-13T02:56:51Z | - |
| dc.date.issued | 2015 | - |
| dc.identifier.citation | 1st edition | vi |
| dc.identifier.isbn | 9788740307955 | - |
| dc.identifier.uri | http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/15701 | - |
| dc.description | 180 Pages | vi |
| dc.description.abstract | In my experience students often struggle to understand Predicate Logic: they drown in the complicated notation; they do not understand the difference between syntax and semantics, proof and truth; they do not appreciate the importance of logic within mathematics and formal methods in general. This book was written specifically to address these issues, at the same time presenting a full and rigorous treatment of the subject requiring only basic mathematics. | vi |
| dc.language.iso | en | vi |
| dc.publisher | bookboon.com | vi |
| dc.subject | Predicate logic | vi |
| dc.title | A Short Course in Predicate Logic - eBooks and textbooks from bookboon.com | vi |
| dc.type | Book | vi |
| Appears in Collections: | Mathematics (bookboon.com) | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| A-Short-Course-in-Predicate-Logic.pdf | 10,25 MB | Adobe PDF |  Sign in to read |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.