Alfred Tarski : life and logic / Anita Burdman Feferman, Solomon Feferman.
Material type: TextPublication details: Cambridge, UK : Cambridge University Press, 2004Description: vi, 425 p. : ill. ; 24 cmISBN: 0521802407 (hardback)Subject(s): Tarski, Alfred | Logic, Symbolic and mathematical | Mathematicians -- United States -- BiographyDDC classification: 199/.438 | B LOC classification: QA29.T32 | F44 2004Online resources: Publisher description | Table of contentsItem type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Book | University of Macedonia Library Βιβλιοστάσιο Α (Stack Room A) | Main Collection | QA29.T32F44 2004 (Browse shelf (Opens below)) | 1 | Available | 0013095037 |
Browsing University of Macedonia Library shelves, Shelving location: Βιβλιοστάσιο Α (Stack Room A), Collection: Main Collection Close shelf browser (Hides shelf browser)
QA29.G58G6516 2006 Αιχμάλωτος των μαθηματικών : ο Κουρτ Γκέντελ και το θεώρημα της μη πληρότητας / | QA29.H5R416 2007 Ο προκλητικός κος Χίλμπερτ : το παρελθόν και το μέλλον των μαθηματικών / | QA29.N4G85 2009 Isaac Newton on mathematical certainty and method / | QA29.T32F44 2004 Alfred Tarski : life and logic / | QA29.T8H6316 2004 Άλαν Τιούρινγκ : το αίνιγμα / | QA29.T8L43 2006 The man who knew too much : Alan Turing and the invention of the computer / | QA29 .W497C66 2005 Dark hero of the information age : in search of Norbert Wiener, the father of cybernetics / |
Includes bibliographical references (p. 409-416) and index.
There are no comments on this title.