Search Results for Mathematics. - Narrowed by: SpringerLink (Online service) - E-Book - Electronic Library - 2005 - Logic, Symbolic and mathematical.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematics.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092005$0025092005$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?2024-09-07T18:24:50ZEssays in Constructive Mathematicsent://SD_ILS/0/SD_ILS:1653372024-09-07T18:24:50Z2024-09-07T18:24:50ZAuthor Edwards, Harold M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138656">http://dx.doi.org/10.1007/b138656</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Visualization, Explanation and Reasoning Styles in Mathematicsent://SD_ILS/0/SD_ILS:1688742024-09-07T18:24:50Z2024-09-07T18:24:50ZAuthor Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3335-4">http://dx.doi.org/10.1007/1-4020-3335-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Valued Fieldsent://SD_ILS/0/SD_ILS:1822422024-09-07T18:24:50Z2024-09-07T18:24:50ZAuthor Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-30035-X">http://dx.doi.org/10.1007/3-540-30035-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Field Arithmeticent://SD_ILS/0/SD_ILS:1811002024-09-07T18:24:50Z2024-09-07T18:24:50ZAuthor Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138352">http://dx.doi.org/10.1007/b138352</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Modern Number Theory Fundamental Problems, Ideas and Theoriesent://SD_ILS/0/SD_ILS:1815402024-09-07T18:24:50Z2024-09-07T18:24:50ZAuthor Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27692-0">http://dx.doi.org/10.1007/3-540-27692-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Modern Perspective on Type Theory From its Origins until Todayent://SD_ILS/0/SD_ILS:1686932024-09-07T18:24:50Z2024-09-07T18:24:50ZAuthor Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-2335-9">http://dx.doi.org/10.1007/1-4020-2335-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logica Universalis Towards a General Theory of Logicent://SD_ILS/0/SD_ILS:1978382024-09-07T18:24:50Z2024-09-07T18:24:50ZAuthor Beziau, Jean-Yves. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137041">http://dx.doi.org/10.1007/b137041</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Laws of Natureent://SD_ILS/0/SD_ILS:1525642024-09-07T18:24:50Z2024-09-07T18:24:50ZAuthor Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28303-X">http://dx.doi.org/10.1007/3-540-28303-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Propositional and Predicate Calculus A Model of Argumentent://SD_ILS/0/SD_ILS:1753282024-09-07T18:24:50Z2024-09-07T18:24:50ZAuthor Goldrei, Derek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-229-2">http://dx.doi.org/10.1007/1-84628-229-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>