Search Results for Logic, Symbolic and mathematical. - Narrowed by: CRC EbooksSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253ACRCEBOOKS$002509CRC$002bEbooks$0026ic$003dtrue$0026ps$003d300?2025-12-10T22:55:02ZUNDERSTANDING MATHEMATICAL PROOFent://SD_ILS/0/SD_ILS:5471872025-12-10T22:55:02Z2025-12-10T22:55:02ZAuthor TAYLOR, JOHN.<br/>Preferred Shelf Number QA9.54<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429190735">https://www.taylorfrancis.com/books/9780429190735</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to mathematical proofsent://SD_ILS/0/SD_ILS:5477402025-12-10T22:55:02Z2025-12-10T22:55:02ZAuthor Roberts, Charles, author. Taylor and Francis.<br/>Preferred Shelf Number QA9.54<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482246889">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:5417042025-12-10T22:55:02Z2025-12-10T22:55:02ZAuthor Hitzler, Pascal., author. Seda, Anthony.<br/>Preferred Shelf Number QA76.63 .H58 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439829622">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Roads to infinity : the mathematics of truth and proofent://SD_ILS/0/SD_ILS:5427662025-12-10T22:55:02Z2025-12-10T22:55:02ZAuthor Stillwell, John., author.<br/>Preferred Shelf Number QA248 .S778 2010<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439865507">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Games, puzzles, and computationent://SD_ILS/0/SD_ILS:5412192025-12-10T22:55:02Z2025-12-10T22:55:02ZAuthor Hearn, Robert A., author. Demaine, Erik D., 1981-<br/>Preferred Shelf Number QA63 .H35 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439865057">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Introduction to mathematics of satisfiabilityent://SD_ILS/0/SD_ILS:5440452025-12-10T22:55:02Z2025-12-10T22:55:02ZAuthor Marek, V. W. (V. Wiktor), 1943, author.<br/>Preferred Shelf Number QA9.3 .M37 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439801741">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Logical labyrinthsent://SD_ILS/0/SD_ILS:5386172025-12-10T22:55:02Z2025-12-10T22:55:02ZAuthor Smullyan, Raymond M., author.<br/>Preferred Shelf Number QA9 .S575 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439865378">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Mathematics and common sense : a case of creative tensionent://SD_ILS/0/SD_ILS:5396022025-12-10T22:55:02Z2025-12-10T22:55:02ZAuthor Davis, Philip J., 1923, author.<br/>Preferred Shelf Number QA9.2 .D38 2006<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439864326">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>