Search for 'su:"Logic, Symbolic and mathematical" and su-to:Mathematics'

Essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, artificial life plus the secrets of Enigma

By Copeland, B. Jack ed.. Oxford : Clarendon Press, 2013 . viii, 613 p. ; 24 cm. 9780198250807

Place Hold on Essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, artificial life plus the secrets of Enigma

Frege's philosophy of mathematics

By Demopoulos, William. Cambridge : Harvard University Press, 1997 . xi, 464 p. ; 25 cm. 9780674319431

Place Hold on Frege's philosophy of mathematics

Neighborhood semantics for modal logic

By Pacuit, Eric. Switzerland Springer International Publishing 2017 . XII, 154 p. 23 cm.. 9783319671482

Place Hold on Neighborhood semantics for modal logic

Oxford handbook of philosophy of mathematics and logic

By Shapiro, Stewart. Oxford: Oxford University Press, 2005 . xv, 833 p.; 26 cm.. 9780195325928

Place Hold on Oxford handbook of philosophy of mathematics and logic

Concise introduction to pure mathematics

By Liebeck, Martin W.. Boca Raton: CRC Press, 2011 . xv, 252 p.; 24 cm.. 9781439835982

Place Hold on Concise introduction to pure mathematics

Computational Thinking for The Modern Problem Solver

By Riley, David D.. Boca Raton: CRC Press, 2014 . xv, 389 p.; 25 cm.. 9781466587779

Place Hold on Computational Thinking for The Modern Problem Solver

Three views of logic : mathematics, philosophy, and computer science

By Loveland, Donald W.. Princeton: Princeton University Press, 2014 . xv, 322 p.; 25 cm.. 9780691160443

Place Hold on Three views of logic : mathematics, philosophy, and computer science

What is a number? : mathematical concepts and their origins

By Tubbs, Robert. Baltimore: John Hopkins University Press, 2009 . x, 305 p.; 23 cm.. 9780801890185

Place Hold on What is a number? : mathematical concepts and their origins

Logic : a brief course

By Mundici, Daniele. Milan: Springer, 2012 . xi, 124; 24 cm.. 9788847023604

Place Hold on Logic : a brief course

Handbook of mathematical induction : theory and applications

By Gunderson, David S.. Boca Raton: Chapman & Hall/CRC, 2011 . xxv, 893 p.; 27 cm.. 9781420093643

Place Hold on Handbook of mathematical induction : theory and applications

Discrete structures with contemporary applications

By Stanoyevitch, Alexander. Boca Raton: CRC Press, 2011 . xix, 982 p.; 27 cm.. 9781439817681

Place Hold on Discrete structures with contemporary applications

Mathematical logic

By Kleene, Stephen Cole. New York: Dover Publications, 2002 . xiii, 398 p.; 22 cm.. 9780486425337

Place Hold on Mathematical logic

Recursive function theory and logic

By Yasuhara, Ann. New York: Academic Press, 1971 . xv, 338 p.; 24 cm.. 9780127689508

Place Hold on Recursive function theory and logic

Haskell road to logic, maths and programming

By Doets, Kees. London: King's College Publishing, 2004 . ix, 426 p.; 23 cm.. 9780954300692

Place Hold on Haskell road to logic, maths and programming

Discrete mathematics and its applications

By Rosen, Kenneth H.. New Delhi: Mc Graw-hill companies, 2007 . xxi, 787 p.; 24 cm.. 9780080648241

Place Hold on Discrete mathematics and its applications

Discrete mathematics and its applications

By Rosen, Kenneth H.. New Delhi: Tata McGraw-Hill, 2007 . xxi, 787 p.; 24 cm.. 9780070648241

Place Hold on Discrete mathematics and its applications

Fundamentals of discrete mathematical structures

By Chowdhary, K. R.. New Delhi: Prentice Hall of India, 2008 . xiii, 273 p.; 24 cm.. 9788120333321

Place Hold on Fundamentals of discrete mathematical structures

Linear logic in computer science

By Ehrhard, Thomas. Cambridge: Cambridge University Press, 2004 . x, 381 p.; 23 cm.. 0521608570

Place Hold on Linear logic in computer science

How to prove it : a structured approach

By Velleman, Daniel J.. Cambridge: Cambridge University Press, 2006 . xiii, 384 p.; 23 cm.. 0521675995

Place Hold on How to prove it : a structured approach

Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games

By Ensley, Douglas E.. New Jersey: John Wiley & Sons, 2005 . xii, 691 p.; 26 cm.. 0471476021

Place Hold on Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games

How to prove it : a structured approach

By Velleman, Daniel J.. Cambridge: Cambridge University Press, 1994 . ix, 309 p.; 23 cm.. 0521446635

Place Hold on How to prove it : a structured approach

Mathematics and plausible reasoning

By Polya, George. New Jersey: Princeton University Press, 1990 . x, 280 p.; 24 cm.. 9780691025094

Place Hold on Mathematics and plausible reasoning

Foundations of logic and mathematics: Applications to computer science and cryptography

By Nievergelt, Yves. Boston: Birkhauser, 2002 . 415 p.; 26 cm.. 9780817642495

Place Hold on Foundations of logic and mathematics: Applications to computer science and cryptography

Logic for mathematics and computer science

By Burris, Stanley N.. New Jersey: Prentice Hall, 1998 . 420 p.; 24 cm.. 0132859742

Place Hold on Logic for mathematics and computer science

Mathematical thinking and writing

By Maddox, Randall B.. London: Harcourt, 2002 . 304 p.; 24 cm.. 0124649769

Place Hold on Mathematical thinking and writing

Proofs and refutations: The logic of mathematical discovery

By Lakatos, Imre. Cambridge: Cambridge University Press, 1999 . 174 p.; 22 cm.. 9780521290388

Place Hold on Proofs and refutations: The logic of mathematical discovery