Login
Arabic
Help
Print
New Search
My Library
My Account
About the library
Suggest a purchase
Ask a Librarian
Help Topics
Searching
Advanced Keyword Search Tips
Saving your searches
Renewals
Advanced Search
Your session will expire automatically in
0
seconds.
Continue session
End session now
Modify Search
(Search History)
Keyword: Logic, Symbolic and mathematical.
(Clear Search History)
(End Search Session)
Search history function requires JavaScript.
SearchType
Keyword
Author
Title
Subject
Call no.
Search
Limit search to available items
8 results found.
Sorted by
relevance
|
date
|
title
.
Add Marked to Bag
Add All On Page
Add Marked to My Lists
Keywords (1-8 of 8)
Very relevant titles
entries 1-8
1
Discrete mathematics and its applications
Rosen, Kenneth H.
Boston : McGraw-Hill Higher Education, c2019. 2019
Request
Copies
Location
Call No.
Status
CCQ - Lusail Male Library
QA39.3 .R67 2019
Available
CCQ - Lusail Female Library
QA39.3 .R67 2019
Available
2
What is a number? : mathematical concepts and their origins
Tubbs, Robert, 1954-
Baltimore : Johns Hopkins University Press, 2009. 2009
Request
Website
More...
Copies
Location
Call No.
Status
CCQ - Lusail Female Library
QA8.4
Available
CCQ - Lusail Male Library
QA8.4
Available
3
Introduction to mathematical proofs : a transition
Roberts, Charles E., 1942-
Boca Raton : CRC Press, 2009. 2009
Request
Copies
Location
Call No.
Status
CCQ - Lusail Male Library
QA9.54
Available
4
G©·odel's proof
Nagel, Ernest, 1901-
New York : New York University Press, [2008], c2001. 2008
Request
Copies
Location
Call No.
Status
CCQ - Lusail Female Library
QA9.65
Available
CCQ - Lusail Male Library
QA9.65
Available
5
The Oxford handbook of philosophy of mathematics and logic
Oxford ; New York : Oxford University Press, 2007. 2007
Request
Copies
Location
Call No.
Status
CCQ - Lusail Female Library
QA8.4
Available
6
The best of all possible worlds : mathematics and destiny
Ekeland, I. (Ivar), 1944-
Chicago : University of Chicago Press, 2006. 2006
Request
Website
More...
Copies
Location
Call No.
Status
CCQ - Lusail Female Library
Q172
Available
CCQ - Lusail Male Library
Q172
Available
7
The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma
Turing, Alan Mathison, 1912-1954
Oxford : Clarendon Press ; New York : Oxford University Press, 2004 2004
Request
Copies
Location
Call No.
Status
CCQ - Lusail Female Library
QA7
Available
CCQ - Lusail Male Library
QA7
Available
8
A mathematical introduction to logic
Enderton, Herbert B.
San Diego, Calif. : Harcourt/Academic Press, c2001. 2001
Request
Copies
Location
Call No.
Status
CCQ - Lusail Female Library
QA9
Available
Add Marked to Bag
Add All On Page
Add Marked to My Lists
Resources
More Information
Modify Search
(Search History)
Keyword: Logic, Symbolic and mathematical.
(Clear Search History)
(End Search Session)
Naseej - Arabian Advanced Systems