Search for 'su:"Symbolic and mathematical"'

Introduction to mathematics : number, space, and structure

By Taylor, Scott A.. Providence : American Mathematical Society, 2023 . xxvi,415 p.; 25 cm. 9781470471880

Place Hold on Introduction to mathematics : number, space, and structure

Picturing quantum processes : A first course in quantum theory and diagrammatic reasoning

By Coecke, Bob. Cambridge : Cambridge University Press, 2017 . xvii, 827 p. ; 25 cm.. 9781107104228

Place Hold on Picturing quantum processes : A first course in quantum theory and diagrammatic reasoning

Mathematical logic through Python

By Gonczarowski, Yannai A.. Cambridge : Cambridge University Press, 2022 . xii, 271 p. ; 26 cm.. 9781108949477

Place Hold on Mathematical logic through Python

Higher-order logic and type theory

By Bell, John L.. Cambridge : Cambridge University Press, 2022 . 79 p. ; 23 cm. 9781108986908

Place Hold on Higher-order logic and type theory

A First Journey through Logic

By Hils, Martin. Providence : American Mathematical Society, 2023 . xi, 185 p. ; 22 cm. 9781470452728

Place Hold on A First Journey through Logic

Paradoxes and inconsistent mathematics

By Weber, Zach. Cambridge : Cambridge University Press, 2021 . xii, 324 p. ; 26 cm. 9781108834414

Place Hold on Paradoxes and inconsistent mathematics

Joy of abstraction : an exploration of math, category theory, and life

By Cheng, Eugenia. Cambridge : Cambridge University Press, 2022 . xiv, 424 p. ; 24 cm. 9781108477222

Place Hold on Joy of abstraction : an exploration of math, category theory, and life

Symbolic logic

By Makridis, Odysseus. Cham : Palgrave Macmillan, 2021 . v, 492 p. ; 24 cm. 9783030673956

Place Hold on Symbolic logic

Logic and structure

By Dalen, Dirk van. London : Springer, 2004 . x, 263 p. ; 24 cm. 9781447145578

Place Hold on Logic and structure

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

One hundred prisoners and a light bulb

By Ditmarsch, Hans van. Cham : Springer, 2015 . ix, 188 p. : 23.5 cm.. 9783319166933

Place Hold on One hundred prisoners and a light bulb

Logics for computer science : classical and non-classical

By Wasilewska, Anita. Switzerland : Springer, 2018 . x, 535p. : 27 cm.. 9783319925905

Place Hold on Logics for computer science : classical and non-classical

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

Guide to classical and modern model theory

By Marcja, Annalisa. Boston: Kluwer Academic Publishers 2003 . xi, 369 p. 25 cm.. 9781402013317

Place Hold on Guide to classical and modern model theory

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