CSUDH Library
Welcome to the CSUDH Library
University Catalog Class Schedule Blackboard Wireless access
start a new search for books   search your Course Reserves  Find peer reviewed online teaching and learning materials  find what Electronic journals the Library has  Check Your Library Account and see if you have over-due books, or to renew your books  Check Online Reference Shelf for a reference book  Search US Government Documents 

   
Limit search to available items
Result Page   1 2 3 4 5 6 Next
Save all on page
SUBJECTS (1-50 of 282)
Logic Symbolic And Mathematical
1
BOOK

 
100% Mathematical Proof Garnier, Rowan.
Chichester [England] ; New York : Wiley, c1996.

LOCATION CALL # STATUS
 4th Floor South  QA9.54 .G367 1996    CHECK SHELVES
 
Add to Book Cart
2
BOOK

 
Advanced Logic For Applications Grandy, Richard E.
Dordrecht, Holland ; Boston : D. Reidel Pub. Co., c1977.

LOCATION CALL # STATUS
 3rd Floor North  BC135 .G7    CHECK SHELVES
 
Add to Book Cart
3
BOOK

 
The Adventure Of Reason Interplay Between Philosophy Of Mathematics And Mathematical Logic, 1900-194 Mancosu, Paolo.
Oxford ; New York : Oxford University Press, 2010.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
4
BOOK

 
Alan Turing : His Work And Impact Cooper, S. B. (S. Barry)
Waltham, MA : Elsevier, ©2013.

LOCATION CALL # STATUS
 4th Floor South  QA29.T8 C65 2013    CHECK SHELVES
 
Add to Book Cart
5
BOOK

 
Alfred Tarski : Life And Logic Feferman, Anita Burdman.
Cambridge, UK ; New York : Cambridge University Press, 2004.

LOCATION CALL # STATUS
 4th Floor South  QA29.T32 F44 2004    CHECK SHELVES
 
Add to Book Cart
6
BOOK

 
Algorithmic Logic Mirkowska-Salwicka, Grazyna.
Dordrecht ; Boston : D. Reidel Pub. Co. ; Warszawa : PWN-Polish Scientific Publishers ; Norwell, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1987.

LOCATION CALL # STATUS
 4th Floor South  QA267.3 .M57 1987    CHECK SHELVES
 
Add to Book Cart
7
BOOK

 
Analysis And Logic
Cambridge, UK ; New York : Cambridge University Press, 2002.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
8
BOOK

 
An Analysis Of The Nature And Limits Of Scientific Objectivity Lane, Stephen.
2007.

LOCATION CALL # STATUS
 Thesis/2nd Floor South  LD729.6 .D72, 2007, HUM, L3634    CHECK SHELVES
 
Add to Book Cart
9
BOOK

 
The Anatomy Of Mathematics Kershner, R. B. (Richard Brandon), 1913-
New York : Ronald Press Co., [1974]

LOCATION CALL # STATUS
 4th Floor South  QA9 .K38 1974    CHECK SHELVES
 
Add to Book Cart
10
BOOK

 
The Anatomy Of Mathematics, Kershner, R. B. (Richard Brandon), 1913-
New York : Ronald Press Co., [1950]

LOCATION CALL # STATUS
 4th Floor South  QA9 .K38    CHECK SHELVES
 
Add to Book Cart
11
BOOK

 
Andrzej Mostowski And Foundational Studies
Amsterdam ; Washington, D.C. : Ios Press, c2008.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
12
BOOK

 
Andrzej Mostowski And Foundational Studies
Amsterdam ; Washington, D.C. : Ios Press, c2008.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
13
BOOK

 
The Argument Of The Tractatus : Its Relevance To Contemporary Theories Of Logic, Language, Mind, And McDonough, Richard M., 1950-
Albany : State University of New York Press, c1986.

LOCATION CALL # STATUS
 3rd Floor North  B3376 .W563 T7343 1986    CHECK SHELVES
 
Add to Book Cart
14
BOOK

 
The Argument Of The Tractatus Its Relevance To Contemporary Theories Of Logic, Language, Mind, And P McDonough, Richard M., 1950-
Albany : State University of New York Press, c1986.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
15
BOOK

 
The Axiomatic Method; An Introduction To Mathematical Logic. Lightstone, A. H.
Englewood Cliffs, N. J. : Prentice-Hall, [1964]

LOCATION CALL # STATUS
 4th Floor South  QA248 .L53    CHECK SHELVES
 
Add to Book Cart
16
BOOK

 
The Basic Laws Of Arithmetic; Exposition Of The System. Frege, Gottlob, 1848-1925.
Berkeley : University of California Press, 1964.

LOCATION CALL # STATUS
 3rd Floor North  BC135 .F6813 1964    CHECK SHELVES
 
Add to Book Cart
17
BOOK

 
Bedeutung Und Notwendigkeit; Eine Studie Zur Semantik Und Modalen Logik. Carnap, Rudolf, 1891-1970.
Wein, New York : Springer-Verlag, 1972.

LOCATION CALL # STATUS
 3rd Floor North  B840 .C315    CHECK SHELVES
 
Add to Book Cart
18
BOOK

 
The Best Of All Possible Worlds : Mathematics And Destiny Ekeland, I. (Ivar), 1944-
Chicago : University of Chicago Press, 2006.

LOCATION CALL # STATUS
 4th Floor South  Q172 .E36 2006    CHECK SHELVES
 
Add to Book Cart
19
BOOK

 
Beyond Sets A Venture In Collection-Theoretic Revisionism Rescher, Nicholas.
Frankfurt : Ontos Verlag, 2011.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
20
BOOK

 
Beyond Sets A Venture In Collection-Theoretic Revisionism. Rescher, Nicholas.
Berlin : De Gruyter, 2011.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
21
BOOK

 
The Big Typescript, TS. 213 Wittgenstein, Ludwig, 1889-1951.
Malden, MA : Blackwell Pub., 2005.

LOCATION CALL # STATUS
 3rd Floor North  B3376.W563 B4713 2005    CHECK SHELVES
 
Add to Book Cart
22
BOOK

 
The Birth Of Model Theory Löwenheim's Theorem In The Frame Of The Theory Of Relatives Badesa, Calixto.
Princeton, N.J. ; Oxford : Princeton University Press, c2004.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
23
BOOK

 
Bridge To Abstract Mathematics : Mathematical Proof And Structures Morash, Ronald P.
New York, NY : Random House, 1987.

LOCATION CALL # STATUS
 4th Floor South  QA9 .M74 1987    CHECK SHELVES
 
Add to Book Cart
24
BOOK

 
Circles Disturbed : The Interplay Of Mathematics And Narrative
Princeton : Princeton University Press, c2012.

LOCATION CALL # STATUS
 4th Floor South  QA42 .C57 2012    CHECK SHELVES
 
Add to Book Cart
25
BOOK

 
Classical And Fuzzy Concepts In Mathematical Logic And Applications Reghis, Mircea.
Boca Raton : CRC Press, c1998.

LOCATION CALL # STATUS
 4th Floor South  QA9 .R357 1998    CHECK SHELVES
 
Add to Book Cart
26
BOOK

 
Classical Mathematical Logic The Semantic Foundations Of Logic Epstein, Richard L., 1947-
Princeton : Princeton University Press, c2006.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
27
BOOK

 
Classical Mathematical Logic The Semantic Foundations Of Logic Epstein, Richard L.
Princeton, N.J. : Princeton University Press, 2011.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
28
BOOK

 
Coding The Universe Beller, A.
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, c1982.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
29
BOOK

 
Communication: A Logical Model. Harrah, David.
Cambridge, Mass. : M. I. T. Press, 1963.

LOCATION CALL # STATUS
 3rd Floor North  BC135 .H33    CHECK SHELVES
 
Add to Book Cart
30
BOOK

 
Computability And Logic Cohen, Daniel E.
Chichester, West Sussex, England : E. Horwood ; New York : Halsted Press, 1987.

LOCATION CALL # STATUS
 4th Floor South  QA9.59 .C64 1987    CHECK SHELVES
 
Add to Book Cart
31
BOOK

 
Computability And Logic Boolos, George.
Cambridge [Eng.] : University Press, [1974]

LOCATION CALL # STATUS
 4th Floor South  QA248.5 .B66    CHECK SHELVES
 
Add to Book Cart
32
BOOK

 
Computability And Logic Boolos, George.
Cambridge ; New York : Cambridge University Press, 2002.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
33
BOOK

 
Computability : Computable Functions, Logic, And The Foundations Of Mathematics Epstein, Richard L.
Pacific Grove, Calif : Wadsworth & Brooks/Cole Advanced Books & Software, c1989.

LOCATION CALL # STATUS
 4th Floor South  QA9.59 .E67 1989    CHECK SHELVES
 
Add to Book Cart
34
BOOK

 
Computational Thinking For The Modern Problem Solver Riley, David D., 1951-
Boca Raton, FL : CRC Press, c2014.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
35
BOOK

 
The Concept Of Language. Wilson, Neil Leslie, 1922-
[Toronto] : University of Toronto Press, [1959]

LOCATION CALL # STATUS
 3rd Floor North  B840 .W48    CHECK SHELVES
 
Add to Book Cart
36
BOOK

 
The Concept Of Logical Consequence Etchemendy, John, 1952-
Cambridge, Mass. : Harvard University Press, 1990.

LOCATION CALL # STATUS
 3rd Floor North  BC135 .E83 1990    CHECK SHELVES
 
Add to Book Cart
37
BOOK

 
Conceptual Models In Mathematics: Sets, Logic And Probability, Hirst, Keith Edwin.
London : Allen and Unwin, 1971.

LOCATION CALL # STATUS
 4th Floor South  QA248 .H55    CHECK SHELVES
 
Add to Book Cart
38
BOOK

 
Conditional And Preferential Logics Proof Methods And Theorem Proving Pozzato, Gian Luca.
Amsterdam ; Washington, DC : IOS Press, c2010.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
39
BOOK

 
The Consistency Of The Axiom Of Choice And Of The Generalized Continuum-Hypothesis With The Axioms O Gödel, Kurt.
Princeton : Princeton University Press, 1940.

LOCATION CALL # STATUS
 4th Floor South  QA9 .G54    CHECK SHELVES
 
Add to Book Cart
40
BOOK

 
Constructibility And Mathematical Existence Chihara, Charles S., 1932-
Oxford : Clarendon Press ; New York : Oxford Univ. Press, c1990.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
41
BOOK

 
Deducibility And Decidability Gill, R. R. Rockingham, 1944-
London ; New York : Routledge, 1990.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
42
BOOK

 
Deducibility And Decidability Gill, R. R. Rockingham, 1944-
London ; New York : Routledge, 1990.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
43
BOOK

 
The Determinacy Of Long Games Neeman, Itay, 1972-
Berlin ; New York : Walter de Gruyter, c2004.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
44
BOOK

 
The Determinacy Of Long Games Neeman, Itay, 1972-
Berlin ; New York : Walter de Gruyter, c2004.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
45
BOOK

 
The Development Of Mathematical Logic. Nidditch, P. H.
New York : Free Press of Glencoe, [1962]

LOCATION CALL # STATUS
 4th Floor South  QA9 .N49    CHECK SHELVES
 
Add to Book Cart
46
BOOK

 
Development Of Mathematical Logic, Goodstein, R. L. (Reuben Louis)
London : Logos Press, 1971.

LOCATION CALL # STATUS
 4th Floor South  QA9 .G6785    CHECK SHELVES
 
Add to Book Cart
47
BOOK

 
The Development Of Symbolic Logic : A Critical-Historical Study Of The Logical Calculus Shearman, A.T. (Arthur Thomas).
Dubuque, Iowa : Brown Reprint Co., [1971?]

LOCATION CALL # STATUS
 3rd Floor North  BC135 .S5 1971    CHECK SHELVES
 
Add to Book Cart
48
BOOK

 
Diamond A Paradox Logic Hellerstein, N. S. (Nathaniel S.)
Singapore ; Hackensack, NJ : World Scientific, c2010.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
49
BOOK

 
Diamond A Paradox Logic Hellerstein, N. S. (Nathaniel S.)
New Jersey : World Scientific, c2010.

Electronic version online for this title
This title has an electronic version.

Add to Book Cart
50
BOOK

 
Dictionary Of Symbols Of Mathematical Logic. Feys, Robert, 1889-
Amsterdam : North-Holland Pub. Co., 1969.

LOCATION CALL # STATUS
 4th Floor South  QA9 .F49    CHECK SHELVES
 
Add to Book Cart
Locate in results
Result Page   1 2 3 4 5 6 Next