511.1 C477d 2021 : Chvátal, Vaek,
The discrete mathematical charms of Paul Erds : a simple introduction / Vaek Chvátal.
Axe 2nd Floor Stacks:Available
2021
511.1 K696n : Klose, Orval M.
The number systems and operations of arithmetic; an explanation of the fundamental principles of math
Axe 2nd Floor Stacks:Available
1966
511.1 K863d 2009 : Krantz, Steven G.
Discrete mathematics demystified / Steven G. Krantz.
Axe 2nd Floor Stacks:Available
2009
511.2 K611n
Number systems : their symbolism and fundamental operations / by Jennie Aileene Kingsbury.
Axe PSU Archives Thesis/Problems:Lib Use Only, Axe Thesis 3rd Floor :Available
1943
Number systems : their symbolism and fundamental operations / by Jennie Aileene Kingsbury.
Axe PSU Archives Thesis/Problems:Lib Use Only, Axe Thesis 3rd Floor :Available
1943
511.2018 C973t : Cutler, Ann.
Trachtenberg speed mathematics self-taught / translated and adapted by Ann Cutler and Rudolph McShane
Axe 2nd Floor Stacks:Available
1975
511.2078 P966h : Pullan, J. M.
The history of the abacus [by] J. M. Pullan.
Axe 2nd Floor Stacks:Available
1969
511.22 ANN : Anniss, Matt.
The science of earthquakes / Matt Anniss.
Nettels Non-Fiction:Available
2013
511.3 B295i3 : Basson, A. H.
Introduction to symbolic logic, by A. H. Basson and D. J. O'Connor.
Axe 2nd Floor Stacks:Available
1960
511.3 B443m 1999 : Benson, Donald C.
The moment of proof : mathematical epiphanies / Donald C. Benson.
Axe 2nd Floor Stacks:Available
1999
511.3 B881m : Bunch, Bryan H.
Mathematical fallacies and paradoxes / Bryan H. Bunch.
Axe 2nd Floor Stacks:Available
1982
511.3 C214l : Carnap, Rudolf,
The logical syntax of language / by Rudolf Carnap.
Axe 2nd Floor Stacks:Available
1959
511.3 C236l, 1977 : Carroll, Lewis,
Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never pr
Axe 2nd Floor Stacks:Available
1977
511.3 C349g 2012 : Chaitin, Gregory J.
Godel's way : exploits into an undecidable world / Gregory Chaitin, Newton da Costa & Francisco Anton
Axe 2nd Floor Stacks:Available
2012
511.3 C362s : Chang, Chin-liang,
Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-tung Lee.
Axe 2nd Floor Stacks:Available
1973
511.3 C791s, 1977 : Copi, Irving M.
Symbolic logic / Irving M. Copi.
Axe Special Collections Reitz:Lib Use Only
1977
511.3 C791s3 : Copi, Irving M.
Symbolic logic [by] Irving M. Copi.
Axe 2nd Floor Stacks:Available
1968
511.3 D295c, 1994 : Davis, Martin,
Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. D
Axe 2nd Floor Stacks:Available
1994
511.3 D383p : DeLong, Howard,
A profile of mathematical logic.
Axe 2nd Floor Stacks:Available
1970
511.3 F956m : Fulford, Glenn.
Modelling with differential and difference equations / Glenn Fulford, Peter Forrester, and Arthur Jon
Axe 2nd Floor Stacks:Available
1997
511.3 F989 2002
Fuzzy logic and probability applications : bridging the gap / edited by Timothy J. Ross, Jane M. Book
Axe 2nd Floor Stacks:Available
2002
511.3 G136l : Gallier, Jean H.
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
Axe 2nd Floor Stacks:Available
1986
511.3 G189o : Garnier, Rowan.
100% mathematical proof / Rowan Garnier, John Taylor.
Axe 2nd Floor Stacks:Available
1996
511.3 G316f : Gerla, Giangiacomo.
Fuzzy logic : mathematical tools for approximate reasoning / Giangiacomo Gerla.
Axe 2nd Floor Stacks:Available
2001
511.3 Ig4i : Iglewicz, Boris.
An introduction to mathematical reasoning [by] Boris Iglewicz [and] Judith Stoyle.
Axe 2nd Floor Stacks:Available
1973
511.3 J636h : Johnson, Phillip E.
A history of set theory [by] Phillip E. Johnson.
Axe 2nd Floor Stacks:Available
1972
511.3 K141s : Kaplansky, Irving,
Set theory and metric spaces.
Axe 2nd Floor Stacks:Available
1972
511.3 KOO
Sets : sorting into groups / by Michele Koomen ; consultant, Deborah S. Ermoian.
Lakeside Non-Fiction:Lost and Paid, Meadowlark Non-Fiction:Available, Westside Non-Fiction:Available
2001
Sets : sorting into groups / by Michele Koomen ; consultant, Deborah S. Ermoian.
Lakeside Non-Fiction:Lost and Paid, Meadowlark Non-Fiction:Available, Westside Non-Fiction:Available
2001
511.3 L148p : Lakatos, Imre.
Proofs and refutations : the logic of mathematical discovery / by Imre Lakatos ; edited by John Worra
Axe 2nd Floor Stacks:Available
1976
511.3 L579l : Levitz, Kathleen.
Logic and Boolean algebra / by Kathleen Levitz, Hilbert Levitz.
Axe 2nd Floor Stacks:Available
1979
511.3 L63s : Lin, Shwu-Yeng T.
Set theory: an intuitive approach [by] Shwu-Yeng T. Lin [and] You-Feng Lin.
Axe 2nd Floor Stacks:Available
1973
511.3 L992n : Lyndon, Roger C.
Notes on logic, by Roger C. Lyndon.
Axe 2nd Floor Stacks:Available
1966
511.3 M32t : Maor, Eli.
To infinity and beyond : a cultural history of the infinite / Eli Maor.
Axe 2nd Floor Stacks:Available
1987
511.3 M896f : Mukaidono, Masao,
Fuzzy logic for beginners / Masao Mukaidono.
Axe 2nd Floor Stacks:Available
2001
511.3 N158s : Nanzetta, Philip.
Set theory and topology [by] Philip Nanzetta [and] George E. Strecker.
Axe 2nd Floor Stacks:Available
1971
511.3 N499f : Nguyen, Hung T.,
A first course in fuzzy logic / Hung T. Nguyen and Elbert A. Walker.
Axe 2nd Floor Stacks:Available
1997
511.3 N553p 2012 : Niederman, Derrick.
The puzzler's dilemma : from the Lighthouse of Alexandria to Monty Hall, a fresh look at classic conu
Axe 2nd Floor Stacks:Available
2012
511.3 N733
Nonstandard analysis : theory and applications / edited by Leif O. Arkeryd, Nigel J. Cutland, C. Ward
Axe 2nd Floor Stacks:Available
1997
511.3 Ok4t : University of Oklahoma.
A table of indices and power residues for all primes and prime powers below 2000. Computed by the Uni
Axe 2nd Floor Stacks:Available
1962
511.3 P229i 2002 : Parkes, Alan.
Introduction to languages, machines and logic : computable languages, abstract machines and formal lo
Axe 2nd Floor Stacks:Available
2002
511.3 R828i : Rucker, Rudy v. B.
Infinity and the mind : the science and philosophy of the infinite / Rudy Rucker.
Axe 2nd Floor Stacks:Available
1982
511.3 Sa36j : Salomaa, Arto.
Jewels of formal language theory / Arto Salomaa.
Axe 2nd Floor Stacks:Available
1981
511.3 Sm85f : Smullyan, Raymond M.
Forever undecided : a puzzle guide to Godel / by Raymond Smullyan.
Axe 2nd Floor Stacks:Available
1987
511.3 So47h 2002 : Solow, Daniel.
How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow.
Axe 2nd Floor Stacks:Available
2002
511.3 St35m 2009 : Steinhart, Eric.
More precisely : the math you need to do philosophy / Eric Steinhart.
Axe 2nd Floor Stacks:Available
2009
511.3 Sw76f : Suppes, Patrick,
First course in mathematical logic [by] Patrick Suppes and Shirley Hill.
Axe 2nd Floor Stacks:Available
1964
511.3 T177l : Tarski, Alfred.
Logic, semantics, metamathematics; papers from 1923 to 1938. Translated by J. H. Woodger.
Axe 2nd Floor Stacks:Available
1956
511.3 T571c : Toffoli, Tommaso.
Cellular automata machines : a new environment for modeling / Tommaso Toffoli, Norman Margolus.
Axe 2nd Floor Stacks:Available
1987
511.3 W149i 2012 : Walicki, Michal.
Introduction to mathematical logic / by Michal Walicki.
Axe 2nd Floor Stacks:Available
2012
511.32 B221f : Bandemer, Hans.
Fuzzy sets, fuzzy logic, fuzzy methods with applications / Hans Bandemer, Siegfried Gottwald.
Axe 2nd Floor Stacks:Available
1995
511.32 KOO : Koomen, Michele.
Sets : sorting into groups / by Michele Koomen ; consultant, Deborah S. Ermoian.
Lakeside Non-Fiction:Lost and Paid, Meadowlark Non-Fiction:Available, Westside Non-Fiction:Available
2001
Add Marked to Bag
Add All On Page