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

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 thinking and writing

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

Place Hold on Mathematical thinking and writing

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 logic : a course with exercises

By Cori, Rene. Oxford Oxford University Press 2001 . 331 p. 23 cm.. 9780198500483

Place Hold on Mathematical logic : a course with exercises

Reasoning about uncertainty

By Halpern, Joseph Y.. Cambridge: MIT Press, 2003 . xiv, 483 p.; 23 cm.. 0262083205

Place Hold on Reasoning about uncertainty

Word and object

By Quine, Willard Van Orman. Cambridge: MIT Press, 1960 . xv, 294 p.; 21 cm.. 0262670011

Place Hold on Word and object

Adapting proofs-as-programs : the Curry-Howard protocol

By Crossley, John N.. New York: Springer, 2005 . xi, 420 p.; 24 cm.. 0387237593

Place Hold on Adapting proofs-as-programs : the Curry-Howard protocol

Automated theorem proving : theory and practice

By Newborn, Monty. New York: Springer, 2001 . xiii, 231 p.; 24 cm.. 0387950753

Place Hold on Automated theorem proving : theory and practice

Descriptive complexity

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

Place Hold on Descriptive complexity

Introduction to mathematical logic

By Mendelson, Elliot. U.S.A.: Chapman & Hall, 1997 . x, 440 p.; 24 cm.. 0412808307

Place Hold on Introduction to mathematical logic

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

Logically determined design : clockless system design with NULL convention logic

By Fant, Karl M.. New Jersey: John Wiley & Sons, 2005 . xvi, 292 p.; 25 cm.. 0471684783

Place Hold on Logically determined design : clockless system design with NULL convention logic

Computability and logic

By Boolos, George S.. Cambridge: Cambridge University Press, 2002 . xi, 356 p.; 26 cm.. 0521007585

Place Hold on Computability and logic

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

Set theory, logic and their limitations

By Machover, Moshe. Cambridge: Cambridge University Press, 1996 . vii, 288 p.; 23 cm.. 0521479983

Place Hold on Set theory, logic and their limitations

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

Set theory and its logic

By Quine, William V.. Cambridge: Belknap Press, 1969 . xvii, 361 p.; 22 cm.. 0674802071

Place Hold on Set theory and its logic

Non-standard analysis

By Robinson, Abraham. Princeton: Princeton University Press, 1996 . xix, 293 p.; 24 cm.. 0691044902

Place Hold on Non-standard analysis

Birth of model theory : Lowenheim's theorem in the frame of the theory of relatives

By Badesa, Calixto. New Jersey: Princeton University Press, 2004 . xiii, 240 p.; 25 cm.. 0691058539

Place Hold on Birth of model theory : Lowenheim's theorem in the frame of the theory of relatives

Classical mathematical logic: the semantic foundations of logic .

By Epstein, Richard L.. Princeton: Princeton University Press, 2006 . xxii, 522 p.; 26 cm.. 0691123004

Place Hold on Classical mathematical logic: the semantic foundations of logic .

Proof, logic, and conjecture : the mathematician's toolbox

By Wolf, Robert S.. New York: W. H. Freeman, 1997 . xiv, 421 p.; 24 cm.. 0716730502

Place Hold on Proof, logic, and conjecture : the mathematician's toolbox

Logic, sets, and recursion (Supplement)

By Causey, Robert L.. Boston: Jones & Bartlett, 2001 . x, 405 p.; 23 cm.. 0763716952

Place Hold on Logic, sets, and recursion (Supplement)

Logic for computer scientists

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

Place Hold on Logic for computer scientists

Tour through mathematical logic

By Wolf, Robert. Washington: Mathematical Association of America, 2005 . xv, 397 p.; 22 cm.. 0883850362

Place Hold on Tour through mathematical logic

Logic as algebra

By Halmos, Paul. Washington: Mathematical Association of America, 1998 . ix, 141 p.; 23 cm.. 0883853272

Place Hold on Logic as algebra

Mathematical logic

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

Place Hold on Mathematical logic

Fundamentals of mathematical logic

By Hinman, Peter G.. Massachusetts: A K Peters, 2005 . xvi, 878 p.; 24 cm.. 1568812620

Place Hold on Fundamentals of mathematical logic

Mathematics and common sense : a case of creative tension

By Davis, Philip J.. Wellesley: A K Peters, 2006 . xlvi, 242 p.; 24 cm.. 1568812701

Place Hold on Mathematics and common sense : a case of creative tension

Mathematical logic for computer science

By Ben-Ari, Mordechai. London: Springer-Verlag, 2001 . 304 p.; 23 cm.. 1852333197

Place Hold on Mathematical logic for computer science

Logic and complexity

By Lassaigne, Richard. London: Springer, 2004 . x, 359 p.; 24 cm.. 1852335653

Place Hold on Logic and complexity

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

Elements of the Theory of Computation

By Lewis, Harry R.. New Delhi: Prentice Hall of India, 2003 . 361 p.; 24 cm.. 9788120322332

Place Hold on Elements of the Theory of Computation

Mathematical logic in the twentieth century

By Sacks, Gerald E. Singapore: Singapore University Press, 2003 . xiii, 693 p.; 26 cm.. 9810247362

Place Hold on Mathematical logic in the twentieth century

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

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

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

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

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

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?

Mathematical logic

By Chiswell, Ian. Oxford: Oxford University Press, 2007 . viii, 250 p.; 24 cm.. 9780199548743

Place Hold on Mathematical logic

Logic of knowledge bases

By Levesque, Hector J.. Cambridge: MIT Press, 2000 . xviii, 282 p.; 24 cm.. 9780262122320

Place Hold on Logic of knowledge bases

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

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

Mathematical logic

By Thomas, W.. New York: Springer, 1994 . x, 289 p.; 25 cm.. 9780387942582

Place Hold on Mathematical logic

First-order logic and automated theorem proving

By Fitting, Melvin. New York: Springer-Verlag, 1996 . xvi, 326 p.; 24 cm.. 9780387945934

Place Hold on First-order logic and automated theorem proving

Mathematical logic

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

Place Hold on Mathematical logic

Theorems, corollaries, lemmas, and methods of proof

By Rossi, Richard J.. Hoboken: Wiley, 2006 . xiii, 318 p.; 24 cm.. 9780470042953

Place Hold on Theorems, corollaries, lemmas, and methods of proof

Annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine

By Petzold, Charles. Indianapolis: Wiley, 2008 . xii, 372 p.; 23 cm.. 9780470229057

Place Hold on Annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine