Limit Search Results
Author
SpringerLink (Online service)
(162)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(7)
Paszynski, Maciej. editor.
(7)
Language
Publication Date
-
Subject
MATHEMATICS / Arithmetic
(49)
Mathematics.
(37)
Artificial intelligence.
(35)
Computer science.
(35)
Computer science -- Mathematics.
(32)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
365 Results Found Subscribe to search results
00000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334038.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332910.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02297-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
Author 
Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.
Preferred Shelf Number 
ONLINE(335131.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41635-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Complex Binary Number System Algorithms and Circuits
Complex Binary Number System Algorithms and Circuits
Author 
Jamil, Tariq. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335470.1)
Electronic Access 
http://dx.doi.org/10.1007/978-81-322-0854-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
Author 
Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334079.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35893-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Design, Analysis and Test of Logic Circuits Under Uncertainty
Design, Analysis and Test of Logic Circuits Under Uncertainty
Author 
Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers
Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers
Author 
Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.
Preferred Shelf Number 
ONLINE(334080.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35898-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
Author 
Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334658.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38718-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Practical risk-adjusted performance measurement
Practical risk-adjusted performance measurement
Author 
Bacon, Carl R.
Preferred Shelf Number 
HD61
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119838883
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Algebraic and stochastic coding theory
Algebraic and stochastic coding theory
Author 
Kythe, Dave K., author. Kythe, Prem K.
Preferred Shelf Number 
QA268 .K98 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Combinatory logic : pure, applied and typed
Combinatory logic : pure, applied and typed
Author 
Bimbo, Katalin, 1963, author.
Preferred Shelf Number 
QA9.5 .B56 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Multiple-base number system : theory and applications
Multiple-base number system : theory and applications
Author 
Dimitrov, Vassil., author. Jullien, Graham. Muscedere, Roberto.
Preferred Shelf Number 
QA76.9 .C62 D56 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Advanced engineering mathematics
Advanced engineering mathematics
Author 
O'Neil, Peter V.
Preferred Shelf Number 
TA330 O53 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
14. 
Cover image for An introduction to audio content analysis : applications in signal processing and music informatics
An introduction to audio content analysis : applications in signal processing and music informatics
Author 
Lerch, Alexander.
Preferred Shelf Number 
TK7881.4 .L485 2012
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118393550
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119890980
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Computational aspects of modular forms and Galois representations : how one can compute in polynomial time the value of Ramanujan's tau at a prime
Computational aspects of modular forms and Galois representations : how one can compute in polynomial time the value of Ramanujan's tau at a prime
Author 
Couveignes, Jean-Marc. Edixhoven, B. (Bas), 1962-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7rzmb
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Geoinformatics in applied geomorphology
Geoinformatics in applied geomorphology
Author 
Anbazhagan, Siddan. Subramanian, S. K. Yang, Xiaojun, 1965-
Preferred Shelf Number 
GB401.5 .G46 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Pre-algebra demystified
Pre-algebra demystified
Author 
Bluman, Allan G.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Dosage calculations demystified a self-teaching guide
Dosage calculations demystified a self-teaching guide
Author 
Keogh, James Edward, 1948-
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Everyday math demystified a self-teaching guide
Everyday math demystified a self-teaching guide
Author 
Gibilisco, Stan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for A mathematical nature walk
A mathematical nature walk
Author 
Adam, John A.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7sj14
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Mastering technical mathematics
Mastering technical mathematics
Author 
Gibilisco, Stan. Crowhurst, Norman H.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Schaum's outline of basic business mathematics
Schaum's outline of basic business mathematics
Author 
Don, Eugene. Lerner, Joel J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Mathematical handbook of formulas and tables based on Schaum's outline of mathematical handbook of formulas and tables by Murray R. Spiegel and John Liu
Mathematical handbook of formulas and tables based on Schaum's outline of mathematical handbook of formulas and tables by Murray R. Spiegel and John Liu
Author 
Spiegel, Murray R. Liu, John. Hademenos, George J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Schaum's outline of computer architecture
Schaum's outline of computer architecture
Author 
Carter, Nicholas (Nicholas P.)
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Schaum's outline of review of elementary mathematics
Schaum's outline of review of elementary mathematics
Author 
Rich, Barnett, 1906- Schmidt, Philip A. Rich, Barnett, 1906- Review of elementary mathematics.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Schaum's outline of theory and problems of mathematics for nurses
Schaum's outline of theory and problems of mathematics for nurses
Author 
Nishiura, Eizo. Stephens, Larry J. Stephens, Lana C.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Introduction to pharmaceutical calculations
Introduction to pharmaceutical calculations
Author 
Rees, Judith A. Smith, Ian, 1959 November 24- Smith, Brian, -2000.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=355964
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Roads to infinity : the mathematics of truth and proof
Roads to infinity : the mathematics of truth and proof
Author 
Stillwell, John., author.
Preferred Shelf Number 
QA248 .S778 2010
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Fuzzy logic and hydrological modeling
Fuzzy logic and hydrological modeling
Author 
Sen, Zekai., author.
Preferred Shelf Number 
GB656.2 .H9 S46 2010
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Security in RFID and sensor networks
Security in RFID and sensor networks
Author 
Kitsos, Paris. Zhang, Yan, 1977-
Preferred Shelf Number 
TK7872 .D48 S43 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Circuits at the nanoscale : communications, imaging, and sensing
Circuits at the nanoscale : communications, imaging, and sensing
Author 
Iniewski, Krzysztof.
Preferred Shelf Number 
TK7874.84 .C57 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Digital design and fabrication
Digital design and fabrication
Author 
Oklobdzija, Vojin G.
Preferred Shelf Number 
TK7885 .D54 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Fuzzy surfaces in GIS and geographical analysis : theory, analytical methods, algorithms and applications
Fuzzy surfaces in GIS and geographical analysis : theory, analytical methods, algorithms and applications
Author 
Lodwick, Weldon A., author.
Preferred Shelf Number 
G70.23 .L63 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Software solutions for engineers and scientists
Software solutions for engineers and scientists
Author 
Sanchez, Julio, 1938- author. Canton, Maria P.
Preferred Shelf Number 
TA345 .S31535 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Computer organization, design, and architecture
Computer organization, design, and architecture
Author 
Shiva, Sajjan G., author. Shiva, Sajjan G. Computer design and architecture.
Preferred Shelf Number 
TK7885 .S525 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Handbook of mathematics for engineers and scientists
Handbook of mathematics for engineers and scientists
Author 
Polyanin, A. D. (Andreai Dmitrievich)i, author. Manzhirov, A. V. (Aleksandr Vladimirovich)
Preferred Shelf Number 
QA40 .P72 2007
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Certain number-theoretic episodes in algebra
Certain number-theoretic episodes in algebra
Author 
Sivaramakrishnan, R., 1936, author.
Preferred Shelf Number 
QA247 .S5725 2007
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Microcontroller programming : the microchip PIC
Microcontroller programming : the microchip PIC
Author 
Sanchez, Julio, 1938-, author. Canton, Maria P.
Preferred Shelf Number 
TJ223 .P76 S36 2007
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Basic mathematics
Basic mathematics
Author 
Bittinger, Marvin L.
Preferred Shelf Number 
QA107.2 .B57 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
40. 
Cover image for Geometric data structures for computer graphics
Geometric data structures for computer graphics
Author 
Langetepe, Elmar, 1967- Zachmann, Gabriel, 1967-
Preferred Shelf Number 
T385 .L364 2006 EB
Electronic Access 
Click here to view.
Taylor & Francis https://www.taylorfrancis.com/books/9780367803735
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Non-unique factorizations : algebraic, combinatorial and analytic theory
Non-unique factorizations : algebraic, combinatorial and analytic theory
Author 
Geroldinger, Alfred., author. Halter-Koch, Franz, 1944-
Preferred Shelf Number 
QA247 .G47 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Decision diagram techniques for micro- and nanoelectronic design handbook
Decision diagram techniques for micro- and nanoelectronic design handbook
Author 
Yanushkevich, Svetlana N.
Preferred Shelf Number 
T57.95 .I549 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Low-power CMOS circuits : technology, logic design and CAD tools
Low-power CMOS circuits : technology, logic design and CAD tools
Author 
Piguet, Christian, author.
Preferred Shelf Number 
TK7871.99 .M44 P56 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for The Prince of Mathematics : Carl Friedrich Gauss
The Prince of Mathematics : Carl Friedrich Gauss
Author 
Tent, M. B. W., author. Taylor and Francis.
Preferred Shelf Number 
QA29 .G3
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Handbook of elliptic and hyperelliptic curve cryptography
Handbook of elliptic and hyperelliptic curve cryptography
Author 
Cohen, Henri. Frey, Gerhard, 1944- Avanzi, Roberto.
Preferred Shelf Number 
QA567.2 .E44 H36 2006 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781420034981
Taylor & Francis https://www.taylorfrancis.com/books/9780367801625
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Low-power electronics design
Low-power electronics design
Author 
Piguet, Christian.
Preferred Shelf Number 
TK7874.66 .L65 2005
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Computers, Software Engineering, and Digital Devices
Computers, Software Engineering, and Digital Devices
Author 
Dorf, Richard C., author. Taylor and Francis.
Preferred Shelf Number 
TK7885
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Mathematics manual for water and wastewater treatment plant operators
Mathematics manual for water and wastewater treatment plant operators
Author 
Spellman, Frank R., author.
Preferred Shelf Number 
TD430 .S64 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Computer science handbook
Computer science handbook
Author 
Tucker, Allen B.
Preferred Shelf Number 
QA76 .C54755 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Introduction to information theory and data compression
Introduction to information theory and data compression
Author 
Hankerson, Darrel R., author. Harris, Greg A. Johnson, Peter D. (Peter Dexter), 1945-
Preferred Shelf Number 
Q360 .H35 2003
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Mass spectrometry basics
Mass spectrometry basics
Author 
Herbert, Christopher G., author. Johnstone, R. A. W. (Robert Alexander Walker)
Preferred Shelf Number 
QP519.9 .M3 H47 2003
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for The Computer Engineering Handbook.
The Computer Engineering Handbook.
Author 
Oklobdzija, Vojin G., author. CRC Press LLC.
Preferred Shelf Number 
TK7885 .C645 2002
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781420041545
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Optical switching/networking and computing for multimedia systems
Optical switching/networking and computing for multimedia systems
Author 
Guizani, Mohsen. Battou, Abdella.
Preferred Shelf Number 
TK5103.59 .O6848 2002
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Mathematics of quantum computation
Mathematics of quantum computation
Author 
Brylinski, Ranee K. Chen, Goong, 1950-
Preferred Shelf Number 
QA76.889 .M38 2002
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Pharmaceutical and clinical calculations
Pharmaceutical and clinical calculations
Author 
Khan, Mansoor A., author. Reddy, Indra K.
Preferred Shelf Number 
RS57 .K47 2000
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Topics in arithmetical functions asymptotic formulae for sums of reciprocals of arithmetical functions and related results
Topics in arithmetical functions asymptotic formulae for sums of reciprocals of arithmetical functions and related results
Author 
De Koninck, J.-M. (Jean-Marie), 1948- Ivić, A., 1949-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444860491
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Introduction to analytic number theory
Introduction to analytic number theory
Author 
Apostol, Tom M.
Preferred Shelf Number 
QA241 A6 1976
Format: 
Availability 
Beytepe Library~5
Available:
Copies:
58. 
Cover image for Naive set theory,
Naive set theory,
Author 
Halmos, Paul R. (Paul Richard), 1916-2006.
Preferred Shelf Number 
QA248 H26 1974
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
59. 
Cover image for Arithmâetique gâenâerale; mathâematiques âelâementaires, classes prâeparatoires aux grandes âecoles et propâedeutiques,
Arithmâetique gâenâerale; mathâematiques âelâementaires, classes prâeparatoires aux grandes âecoles et propâedeutiques,
Author 
Doneddu, Alfred.
Preferred Shelf Number 
QA 248 D57 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
60. 
Cover image for Number systems; an intuitive approach
Number systems; an intuitive approach
Author 
Hutton, Rex L.
Preferred Shelf Number 
QA 248 H84 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
61. 
Cover image for Mathematical systems : finite and infinite.
Mathematical systems : finite and infinite.
Author 
Hackworth, Robert D.
Preferred Shelf Number 
QA 248.3 H3 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
62. 
Cover image for Number systems; an elementary approach
Number systems; an elementary approach
Author 
Byrne, J. Richard
Preferred Shelf Number 
QA 248.3 B9 1967
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
63. 
Cover image for A first look at modern mathematics
A first look at modern mathematics
Author 
Eicholz, Robert E. O'Daffer, Phares G., ort. yaz.
Preferred Shelf Number 
QA 248.3 E35 1964
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
64. 
Cover image for A short dictionary of mathematics.
A short dictionary of mathematics.
Author 
McDowell, C. H.
Preferred Shelf Number 
REF/QA 5 M34 1962
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
65. 
Cover image for Ordinal algebras
Ordinal algebras
Author 
Tarski, Alfred.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533845
Format: 
Availability 
Online Library~1
Available:
Copies: