Search Results for Logic, Symbolic and mathematical -- Textbooks.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical$002b--$002bTextbooks.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?
2024-11-11T23:47:42Z
Logic and discrete mathematics : a concise introduction
ent://SD_ILS/0/SD_ILS:374000
2024-11-11T23:47:42Z
2024-11-11T23:47:42Z
Author Conradie, Willem, 1978- author. Goranko, Valentin, author.<br/>Preferred Shelf Number QA9 C7423 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematical logic
ent://SD_ILS/0/SD_ILS:303099
2024-11-11T23:47:42Z
2024-11-11T23:47:42Z
Author Tourlakis, George J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9781118032435">http://dx.doi.org/10.1002/9781118032435</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transition to higher mathematics : structure and proof
ent://SD_ILS/0/SD_ILS:110785
2024-11-11T23:47:42Z
2024-11-11T23:47:42Z
Author Dumas, Bob A. McCarthy, John E.<br/>Preferred Shelf Number QA9 .D863 2007<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Theorems, corollaries, lemmas, and methods of proof
ent://SD_ILS/0/SD_ILS:303091
2024-11-11T23:47:42Z
2024-11-11T23:47:42Z
Author Rossi, Richard J., 1956-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=694434">Click here to view book</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118031575">http://dx.doi.org/10.1002/9781118031575</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html">http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10503020">http://site.ebrary.com/lib/alltitles/Doc?id=10503020</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>