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

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

Modelling and verification of secure exams

By Giustolisi, Rosario. Cham : Springer International Publishing, 2018 . xi, 138 p. : 24.1 cm.. 9783319671062

Place Hold on Modelling and verification of secure exams

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

Algebra and computer science : Contemporary Mathematics

By Kahrobaei, Delaram. Rhode Island: American Mathematical Society, 2016 . vii, 229 p 26 cm.. 9781470423032

Place Hold on Algebra and computer science : Contemporary Mathematics

Metamathematics of fuzzy logic

By Hajek, Petr. Dordrecht: Springer, 1988 . viii, 297 p.; 25 cm.. 9781402003707

Place Hold on Metamathematics of fuzzy 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

Multi-Dimensional Modal Logic

By Marx, Maarten. Dordrecht: Springer, 1997 . xiii, 239 p.; 24 cm.. 9789401064019

Place Hold on Multi-Dimensional Modal Logic

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

Formal concept analysis : mathematical foundations

By Ganter, Bernhard. Berlin: Springer, 1999 . x, 284 p.; 24 cm.. 3540627715

Place Hold on Formal concept analysis : mathematical foundations

Course on mathematical logic

By Srivastava, Shashi Mohan. New York: Springer, 2013 . ix, 198 p.; 25 cm.. 9781461457459

Place Hold on Course on mathematical logic

Paradoxes in probability theory

By Eckhardt, William. New York: Springer, 2013 . xi, 79 p.; 25 cm.. 9789400751392

Place Hold on Paradoxes in probability theory

Appalachian set theory : 2006-2012

By Cummings, James. Cambridge: Cambridge University Press, 2013 . xi, 419 p.; 23 cm.. 9781107608504

Place Hold on Appalachian set theory : 2006-2012

Alan Turing's systems of logic : the Princeton thesis

By Appel, Andrew W. . Princeton: Princeton University Press, 2012 . xv, 142 p.; 26 cm.. 9780691155746

Place Hold on Alan Turing's systems of logic : the Princeton thesis

P=NP question and Godel?s lost letter

By Lipton, Richard J.. New York: Springer, 2010 . xiii, 239 p.; 24 cm.. 9781441971548

Place Hold on P=NP question and Godel?s lost letter

Roads to infinity : the mathematics of truth and proof

By Stillwell, John. Natick: A K Peters, 2010 . xi, 203 p.; 24 cm.. 9781568814667

Place Hold on Roads to infinity : the mathematics of truth and proof

Logic : a brief course

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

Place Hold on Logic : a brief course

Science of operations : machines, logic and the invention of programming

By Priestley, Mark. New York: Springer, 2011 . ix, 341 p.; 25 cm.. 9781848825543

Place Hold on Science of operations : machines, logic and the invention of programming

Fundamentals of mathematics : introduction to proofs, logic, sets, and numbers

By Schroder, Bernd S. W.. Hoboken: Wiley, 2010 . x, 338 p.; 25 cm.. 9780470551387

Place Hold on Fundamentals of mathematics : introduction to proofs, logic, sets, and numbers

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

Symbolic logic and mechanical theorem proving

By Chang, Chin-Liang. San Diego: Academic Press, 1973 . xiii, 331 p.; 24 cm.. 0121703509

Place Hold on Symbolic logic and mechanical theorem proving

Mathematical logic for computer science

By Ben Ari, Mordechai. London: Springer, 2003 . xiv, 304 p.; 24 cm.. 9788181283443

Place Hold on Mathematical logic for computer science

Hybrid logic and its proof-theory

By Brauner, Torben. Dordrecht: Springer, 2011 . xiii, 231 p.; 25 cm.. 9789400700017

Place Hold on Hybrid logic and its proof-theory

Mathematical logic

By Shoenfield, Joseph R.. Natick: A K Peters, 1967 . vii, 344 p.; 24 cm.. 1568811357

Place Hold on Mathematical logic

Mathematical logic

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

Place Hold on Mathematical logic

First course in logic : an introduction to model theory, proof theory, computability, and complexity

By Hedman, Shawn. New York: Oxford University Press, 2004 . xx, 431 p.; 25 cm.. 9780198529811

Place Hold on First course in logic : an introduction to model theory, proof theory, computability, and complexity

Diamond : a paradox logic

By Hellerstein, N. S.. New Jersey: World Scientific, 2010 . ix, 294 p.; 24 cm.. 9789814287135

Place Hold on Diamond : a paradox logic

Set theory and the continuum hypothesis

By Cohen, Paul J.. Mineola: Dover Publications, 2008 . 154 p.; 23 cm.. 9780486469218

Place Hold on Set theory and the continuum hypothesis

Mathematical logic

By Turing, Alan Mathison. Amsterdam: Elsevier, 2001 . xii, 293 p.; 25 cm.. 9780444504234

Place Hold on Mathematical logic

Computable models

By Turner, Raymond. Berlin: Springer, 2009 . xi, 240 p.; 24 cm.. 9781848820517

Place Hold on Computable models

What is a logical system?

By Gabbay, D. M. . Oxford: Oxford University Press, 1995 . x, 454 p.; 25 cm.. 9780198538592

Place Hold on What is a logical system?

Introduction to mathematics of satisfiability

By Marek, Victor W.. Boca Raton: CRC Press, 2009 . xiii, 350 p.; 25 cm.. 9781439801673

Place Hold on Introduction to mathematics of satisfiability

Concise introduction to mathematical logic

By Rautenberg, Wolfgang. New York: Springer, 2010 . xxi, 319 p.; 24 cm.. 9781441912206

Place Hold on Concise introduction to mathematical logic

Games, puzzles, and computation

By Hearn, Robert A.. Wellesley: A K Peters, 2009 . ix, 237 p.; 24 cm.. 9781568813226

Place Hold on Games, puzzles, and computation

Logic, sets, and recursion

By Causey, Robert L.. New Delhi: Jones & Bartlett, 2010 . ix, 512 p.; 23 cm.. 9789380108087

Place Hold on Logic, sets, and recursion

Introduction to mathematical logic

By Mendelson, Elliott. Boca Raton: CRC Press, 2010 . xxiv, 469 p.; 24 cm.. 9781584888765

Place Hold on Introduction to mathematical logic

Logic for computer scientists

By Schoning, Uwe. Boston: Birkhauser, 1989 . 166 p.; 24 cm.. 0817634533

Place Hold on Logic for computer scientists

Mathematical logic

By Tourlakis, George. Hoboken: John Wiley & Sons, 2008 . xvii, 293 p.; 24 cm.. 9780470280744

Place Hold on Mathematical logic

Knowledge in action : logical foundations for specifying and implementing dynamical systems

By Reiter, Raymond. Cambridge: MIT Press, 2001 . xvi, 424 p.; 23 cm.. 9780262182188

Place Hold on Knowledge in action : logical foundations for specifying and implementing dynamical systems

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

Symbolic and Knowledge-Based Signal Processing

By Oppenheim, Alan V. . Englewood: Prentice Hall, 1992 . xviii, 340 p.; 25 cm.. 9780138804442

Place Hold on Symbolic and Knowledge-Based Signal Processing

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

Descriptive complexity

By Immerman, Neil. New York: Springer, 1999 . xvi, 268 p.; 25 cm.. 0387986006

Place Hold on Descriptive complexity

Discrete structures, logic, and computability

By Hein, James L.. Sudbury: Jones & Bartlett, 2010 . xiv, 1009 p.; 25 cm.. 9780763772062

Place Hold on Discrete structures, logic, and computability

Extending the frontiers of mathematics : inquiries into proof and argumentation

By Burger, Edward B.. Hoboken: John Wiley & Sons, 2007 . xvi, 171 p.; 23 cm.. 9781597570428

Place Hold on Extending the frontiers of mathematics : inquiries into proof and argumentation

Concise Introduction to Mathematical Logic

By Rautenberg, Wolfgang. New York: Springer, 2006 . xvii, 256 p.; 24 cm.. 9780387302942

Place Hold on Concise Introduction to Mathematical Logic