books.apple.com/us/book/mathematical-logic-for-computer-science/id540275763
Preview meta tags from the books.apple.com website.
Linked Hostnames
4- 20 links towww.apple.com
- 16 links tobooks.apple.com
- 1 link tolocate.apple.com
- 1 link tosupport.apple.com
Thumbnail
Search Engine Appearance
Mathematical Logic for Computer Science
<i>Mathematical Logic for Computer Science</i> is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy t…
Bing
Mathematical Logic for Computer Science
<i>Mathematical Logic for Computer Science</i> is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy t…
DuckDuckGo
https://books.apple.com/us/book/mathematical-logic-for-computer-science/id540275763Mathematical Logic for Computer Science
<i>Mathematical Logic for Computer Science</i> is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy t…
General Meta Tags
14- titleMathematical Logic for Computer Science by Mordechai Ben-Ari on Apple Books
- charsetutf-8
- X-UA-CompatibleIE=edge
- viewportwidth=device-width, initial-scale=1, viewport-fit=cover
- applicable-devicepc,mobile
Open Graph Meta Tags
12- og:titleMathematical Logic for Computer Science
- og:descriptionComputers & Internet · 2012
- og:site_nameApple Books
- og:urlhttps://books.apple.com/us/book/mathematical-logic-for-computer-science/id540275763
- og:imagehttps://is1-ssl.mzstatic.com/image/thumb/Publication128/v4/b2/50/60/b25060de-c004-c7ce-0488-2ffd22c7a3fc/cover.jpg/1200x630wz.png
Twitter Meta Tags
6- twitter:titleMathematical Logic for Computer Science
- twitter:descriptionComputers & Internet · 2012
- twitter:site@AppleBooks
- twitter:cardsummary_large_image
- twitter:imagehttps://is1-ssl.mzstatic.com/image/thumb/Publication128/v4/b2/50/60/b25060de-c004-c7ce-0488-2ffd22c7a3fc/cover.jpg/1200x600wz.png
Link Tags
15- canonicalhttps://books.apple.com/us/book/mathematical-logic-for-computer-science/id540275763
- iconhttps://books.apple.com/assets/images/favicon/favicon-books-48-a8eb8171a8d912ed29d99e7a134953d3.png
- preconnecthttps://amp-api.books.apple.com
- preconnecthttps://is1-ssl.mzstatic.com
- preconnecthttps://is2-ssl.mzstatic.com
Links
38- https://books.apple.com/us/author/mordechai-ben-ari/id480522298
- https://books.apple.com/us/book/ada-for-software-engineers/id480522297
- https://books.apple.com/us/book/automated-deduction-cade-21/id493520166
- https://books.apple.com/us/book/computer-science-logic/id483153332
- https://books.apple.com/us/book/decision-procedures/id483233210