NUST Library Search for 'su:"Logic, Symbolic and mathematical."'

Set theory, logic, and their limitations /

By Machover, Mosh�e..
Cambridge : Cambridge University Press, 1996 .
ix, 288 p. ; , Includes index. 23 cm..
0521479983 (pbk.)

]]> Place hold on Set theory, logic, and their limitations /

Perspectives on the history of mathematical logic /

Boston : Birkh�auser, 1991 .
xxiii, 195 p. ; , Most papers given originally at a session at the American Mathematical Society's meeting in Chicago in March 1985. | Includes index. 24 cm..
0817634444 (cased)

]]> Place hold on Perspectives on the history of mathematical logic /

Logic for information technology /

By Galton, Antony..
Chichester : Wiley, 1990 .
xiv, 290 p. ; , Includes index. 24 cm..
0471929336 (pbk.)

]]> Place hold on Logic for information technology /

Clausal form logic : an introduction to the logic of computer reasoning /

By Richards, Tom..
Sydney ; | Reading, Mass. : Addison-Wesley Pub. Co., 1989 .
xiii, 359 p. : , Includes index.. 24 cm..
0201129205 (pbk.)

]]> Place hold on Clausal form logic :

Notes on logic and set theory /

By Johnstone, P. T..
Cambridge : Cambridge University Press, 1987 .
x, 110 p. ; , Includes indexes. 22 cm..
0521336929 (pbk.)

]]> Place hold on Notes on logic and set theory /

Formal methods in artificial intelligence /

By Ramsay, Allan..
Cambridge ; | New York : Cambridge University Press, 1988 .
ix, 279 p. : 25 cm..
0521424216 (pbk.) | 0521352363 (hbk.)

]]> Place hold on Formal methods in artificial intelligence /

Principia mathematica to *56 /

By Whitehead, Alfred North..
Cambridge : Cambridge University Press, 1927 .
xlvi, 410 p. ; 22 cm..
052109187X (pbk.)

]]> Place hold on Principia mathematica to *56 /

Computability and logic /

By Boolos, George S..
Cambridge : Cambridge University Press, 1989 .
x, 304 p. ; , Includes index. 23 cm..
0521389232 (pbk.)

]]> Place hold on Computability and logic /

Elements of the theory of computation /

By Lewis, Harry R..
Englewood Cliffs, N.J. : Prentice-Hall, 1981 .
xiv, 466 p. : , Includes index. 23 cm..
0132734265 (pbk.)

]]> Place hold on Elements of the theory of computation /

Computability and logic /

By Boolos, George S..
Cambridge : Cambridge University Press, 1989 .
x, 304 p. ; , Includes index. 23 cm..
0521389232 (pbk.)

]]> Place hold on Computability and logic /

Computability and logic /

By Boolos, George S..
Cambridge : Cambridge University Press, 1989 .
x, 304 p. ; , Includes index. 23 cm..
0521389232 (pbk.)

]]> Place hold on Computability and logic /

Computability and logic /

By Boolos, George S..
Cambridge : Cambridge University Press, 1989 .
x, 304 p. ; , Includes index. 23 cm..
0521389232 (pbk.)

]]> Place hold on Computability and logic /

Set theory, logic, and their limitations /

By Machover, Mosh�e..
Cambridge : Cambridge University Press, 1996 .
ix, 288 p. ; , Includes index. 23 cm..
0521479983 (pbk.)

]]> Place hold on Set theory, logic, and their limitations /

Theory and problems of Linear algebra /

By Lipschutz, Seymour..
New York : McGraw-Hill, 1976 .
334 p. : , Including over 600 fully solved problems. | Includes index. 28 cm..
0070843813 (pbk.)

]]> Place hold on Theory and problems of Linear algebra /

Theory and problems of Linear algebra /

By Lipschutz, Seymour..
New York : McGraw-Hill, 1976 .
334 p. : , Including over 600 fully solved problems. | Includes index. 28 cm..
0070843813 (pbk.)

]]> Place hold on Theory and problems of Linear algebra /

Introduction to digital logic design /

By Hayes, John P..
Reading, Mass. : Addison-Wesley, 1993 .
xv, 815 p. : , Includes index. 24 cm..
0201154617 (cased)

]]> Place hold on Introduction to digital logic design /

Schaum's outline of theory and problems of discrete mathematics /

By Lipschutz, Seymour..
New York : McGraw-Hill, 1976 .
249 p. : , Includes index. 28 cm..
0070379815 :

]]> Place hold on Schaum's outline of theory and problems of discrete mathematics /

Theory and problems of Linear algebra /

By Lipschutz, Seymour..
New York : McGraw-Hill, 1976 .
334 p. : , Including over 600 fully solved problems. | Includes index. 28 cm..
0070843813 (pbk.)

]]> Place hold on Theory and problems of Linear algebra /

Logic for computer science /

By Reeves, Steve.
Workingham, England : Addison-Wesley, 1990 .
xi, 260 p. : 24 cm. .
0201416433 (pbk.)

]]> Place hold on Logic for computer science /

How to read and do proofs : an introduction to mathematical thought processes /

By Solow, Daniel..
New York : Wiley, 1990 .
xx, 242 p. ; , Includes index. 23 cm..
0471510041(pbk.)

]]> Place hold on How to read and do proofs :

The mathematics of logic : a guide to completeness theorems and their applications /

By Kaye, Richard..
Cambridge : Cambridge University Press, 2007 .
xii, 204 p. : , Includes index. 23 cm..
9780521708777 (pbk.)

]]> Place hold on The mathematics of logic :

Alan Turing's systems of logic : the Princeton thesis /

Princeton : Princeton University Press, 2014 .
xv, 142 pages : 26 cm.
9780691164731 (paperback)

]]> Place hold on Alan Turing's systems of logic :