NUST Institutions Library Catalogue Search for '(su:"Logic, Symbolic and mathematical")'

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

By Ensley, Douglas E.. Hoboken, NJ : Wiley, 2006 . xii, 691 p. : 26 cm.. 0471476021

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

Schaum's outline of theory and problems of discrete mathematics

By Lipschutz, Seymour.. New York : McGraw-Hill, 1997 . ix, 528 p. : , Includes index. 28 cm.. 0070380457

Place Hold on Schaum's outline of theory and problems of discrete mathematics

Introduction to mathematics of satisfiability

By Marek, W. Viktor. Boca Raton : CRC Press, 2009 . xiii, 350 p. : 25 cm.. 9781439801673 | 1439801673

Place Hold on Introduction to mathematics of satisfiability

Higher order logic and hardware verification

By Melham, T. F. (Tom F.). New York Cambridge University Press 1993 . xiii, 165 p. , Includes bibliographical references (p. [147]-157) and index. 9780521115322

Place Hold on Higher order logic and hardware verification

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

By Solow, Daniel.. New York : Wiley, 2002 . xviii, 202 p. : 24 cm.. 0471406473

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

Introduction to Mathematical Logic /

By Mendelson, Elliott.. Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, 1987 . ix, 341 p. ; 24 cm.. 0534066240 :

Place Hold on Introduction to Mathematical Logic /

Classical and Fuzzy Concepts in Mathematical Logic and Applications /

By Reghi?Mircea.. Boca Raton : CRC Press, 1998 . 364 p. : 24 cm.. 0849331978 (alk. paper)

Place Hold on Classical and Fuzzy Concepts in Mathematical Logic and Applications /

Discrete mathematics and its applications /

By Rosen, Kenneth H.. Boston : McGraw-Hill Higher Education, 2007 . xxii, 843, A-15, B-7, S-90, C-1, I-18 p. : 27 cm.. 0071139745 (hdbk. : acid-free paper) | 0073229725 | 9780072880083 | 9780073229720

Place Hold on Discrete mathematics and its applications /

Discrete mathematics and its applications /

By Rosen, Kenneth H.. Boston : McGraw-Hill Higher Education, 2007 . xxii, 843, A-15, B-7, S-90, C-1, I-18 p. : 27 cm.. 0070539669 (. : acid-free paper) | 0073229725 | 9780072880083 | 9780073229720

Place Hold on Discrete mathematics and its applications /

100% mathematical proof /

By Garnier, Rowan.. Chichester ; | New York : Wiley, 1996 . viii, 317 p. : 25 cm.. 0471961981 (acid-free paper) | 047196199X (pbk. : acid-free paper)

Place Hold on 100% mathematical proof /

The foundations of mathematics /

By Stewart, Ian,. Oxford ; | New York : Oxford University Press, 1977 . ix, 263 p. : , Includes index. 23 cm.. 0198531648 | 0198531656 (pbk.)

Place Hold on The foundations of mathematics /

Learning to Rreason : an Introduction to Logic, Sets and Relations /

By Rodgers, Nancy,. New York : Wiley, 2000 . xv, 437 p. : 25 cm.. 047137122X (hardcover : alk. paper)

Place Hold on Learning to Rreason :

Logic for computer science (E-BOOK)

By Reeves, Steve,. Wokingham, England ; | Reading, Mass. : Addison-Wesley, 1990 . xi, 260 p. : 24 cm.. 0201416433

Place Hold on Logic for computer science (E-BOOK)

Logic functions and equations (E-BOOK) examples and exercises /

By Steinbach, Bernd.. [Dordrecht] : Springer, 2009 . xxii, 231 p. : 25 cm.. 1402095945 (hbk.) | 1402095953 (ebk.) | 9781402095948 (hbk.) | 9781402095955 (ebk.)

Place Hold on Logic functions and equations (E-BOOK)

Schaum's outline of theory and problems of discrete mathematics - (E-Book)

By Lipschutz, Seymour.. New York : McGraw-Hill, 2007 . xi, 474 p. : 28 cm.. 0-07-147038-7 | 978-0-07-147038-4

Place Hold on Schaum's outline of theory and problems of discrete mathematics - (E-Book)

Schaum's outline of theory and problems of discrete mathematics (E-BOOK)

By Lipschutz, Seymour.. New York : McGraw-Hill, 2007 . xi, 474 p. : , Includes index. 28 cm.. 0-07-147038-7 | 978-0-07-147038-4

Place Hold on Schaum's outline of theory and problems of discrete mathematics (E-BOOK)

Logic, sets, and recursion .

By Causey, Robert L.. New Delhi. Jones and Bartlett Publishers, 2010 . ix, 512 p. : , Paper Cover 24 cm.. 9789380108087

Place Hold on Logic, sets, and recursion .

Computers from logic to architecture

By Dowsing, Roy.. London ; VNR international, 1990 . xiv, 290 p. : , Includes index. 24 cm.. 0278000932

Place Hold on Computers from logic to architecture

Logic and knowledge : essays, 1901-1950 /

By Russell, Bertrand,. London : | New York : Routledge ; | Macmillan, 1985 . xi, 382 p. ; 23 cm.. 0041640012

Place Hold on Logic and knowledge :

Solvable cases of the decision problem.

By Ackermann, W.. Amsterdam, North-Holland Pub. Co., 1954 . 114 p.

Place Hold on Solvable cases of the decision problem.

The logic design of transistor digital computers

By Maley, Gerald A.. Englewood Cliffs, N.J., Prentice-Hall, 1963 . X, 322 p. 24 cm..

Place Hold on The logic design of transistor digital computers

Chapter zero fundamental nations of abstract mathematics

By Schumacher, Carol. NEWYORK ADDISON WESLY 1996 . 160P 0-201-82653-4

Place Hold on Chapter zero fundamental nations of abstract mathematics

Logic a foundation for computer science

By Sperschneider, V Antoniou, G. NEWYORK ADDISON WESLEY 1991 . 495P 0-201-56514-5

Place Hold on Logic a foundation for computer science

Basic Discrete Mathematics : Logic, Set Theory, & Probability /

By Kohar, Richard.. . xxvi, 706 pages : 24 cm. 9789814730396 (hardback : alk. paper) | 9789813147546 (paperback: alk. paper)

Place Hold on Basic Discrete Mathematics :

Discrete structures, logic, and computability /

By Hein, James L.. Sudbury, Mass. : Jones and Bartlett Publishers, 2010 . xiv, 1009 p. : 25 cm.. 9780763772062 (hardcover) | 0763772062 (hardcover)

Place Hold on Discrete structures, logic, and computability /