Wazir Agha Library, UOS Search for 'su:Logic'

Mathematical theory of program correctness /

By Bakker, J. W. de. Englewood Cliffs, N.J. : Prentice-Hall International, 1980 . xvi, 505 p. ; , Includes index. 24 cm.. 0135621321 :

Place Hold on Mathematical theory of program correctness /

Mathematical theory of program correctness /

By Bakker, J. W. de. Englewood Cliffs, N.J. : Prentice-Hall International, 1980 . xvi, 505 p. ; , Includes index. 24 cm.. 0135621321 :

Place Hold on Mathematical theory of program correctness /

Digital logic and computer design

By Mano, M. Morris,. New Dehli dorling Kindersly pvt 2012 . xii, 612 p. : 25 cm.. 9788177584097

Place Hold on Digital logic and computer design

Programming logic and design :

By Farrell, Joyce.. Boston, Mass. : Course Technology, 2002 . 434p. : , Includes index. 24 cm. +. 9780619063153 | 9781418836337

Place Hold on Programming logic and design :

Programming logic and design :

By Farrell, Joyce.. Boston, Mass. : Course Technology, 2002 . xiv 434p. : , Includes index. 24 cm. +. 9780619063153 | 9781418836337

Place Hold on Programming logic and design :

Programming logic and design :

By Farrell, Joyce.. Boston, Mass. : Course Technology, 2007 . 1 v. (various pagings) : , Includes index. 24 cm. +. 1418836338 | 9781418836337

Place Hold on Programming logic and design :

Logical foundations for cognitive agents :

Berlin ; | New York : Springer, 1999 . xi, 405 p. : 25 cm.. 3540660127 (acidfree paper)

Place Hold on Logical foundations for cognitive agents :

Programming logic and design :

By Farrell, Joyce.. Boston, Mass. : Course Technology, 2007 . 1 v. (various pagings) : , Includes index. 24 cm. +. 1418836338 | 9781418836337

Place Hold on Programming logic and design :

The power of logic /

By Layman, C. Stephen. Mountain View, Calif. : Mayfield Pub., 2002 . ix, 592 p. : 24 cm.. 1559349557

Place Hold on The power of logic /

An inquiry into meaning and truth :

By Russell, Bertrand,. London ; | New York : Routledge, 1940 . xvii, 352 p. : 20 cm.. 0415136008

Place Hold on An inquiry into meaning and truth :

An introduction to symbolic logic.

By Langer, Susanne Katherina Knauth,. New York, Dover Publications 1953 . 367 p. 21 cm..

Place Hold on An introduction to symbolic logic.

Essential of deductive logic:

By Chand, Faqir.. . 176p. 12 cm.

Place Hold on Essential of deductive logic:

Wisdom of china:

London: Michael Joseph, 1944 . 516p. 12 cm.

Place Hold on Wisdom of china:

The essentials of logic,

By Bosanquet, Bernard,. London and New York, Macmillan and co., 1895 . x, 167, [1] p. 20 cm..

Place Hold on The essentials of logic,

Introduction to logic /

By Copi, Irving M.. New York : | London : Macmillan ; | Collier Macmillan, 1986 . xiv, 617 p. : , Includes index. 24 cm.. 0023250208 | 0029461006 (international ed.)

Place Hold on Introduction to logic /

Fundamentals of logic /

By Carney, James D.. New York : Macmillan, 1980 . x, 461 p. : , Includes indexes. 24 cm.. 0023194804 | 0029787009 (International Edition)

Place Hold on Fundamentals of logic /

Introduction to logic /

By Copi, Irving M.. Upper Saddle River, N.J. : Prentice Hall, 2002 . xxi, 647 p. : 25 cm.. 0130968692 (professional) | 0130337358 (student)

Place Hold on Introduction to logic /

Fundamentals of logic /

By Carney, James D.. New York : Macmillan, 1980 . x, 461 p. : , Includes indexes. 24 cm.. 0023194804 | 0029787009 (International Edition)

Place Hold on Fundamentals of logic /

Introduction to logic /

By Copi, Irving M.. Upper Saddle River, N.J. : Pearson/Prentice Hall, 2009 . xvii, 670 p. : 25 cm.. 9780136141396 | 9788131720745

Place Hold on Introduction to logic /

Inductive logic for intermediate students

By Harrod, Roy Forbes,. London, | New York, Macmillan; | St. Martins Press, 1935 . 198 p. 23 cm..

Place Hold on Inductive logic for intermediate students

An introduction to philosophical logic /

By Grayling, A. C.. Totowa, N.J. : Barnes & Noble Books, 1982 . 300 p. ; 23 cm.. 0389202991 | 0389203009 (pbk.)

Place Hold on An introduction to philosophical logic /

A practical study of argument /

By Govier, Trudy.. Belmont, Calif. : Wadsworth Pub. Co., 1985 . x, 389 p. : 24 cm.. 0534033334 (pbk.)

Place Hold on A practical study of argument /

The power of logic /

By Layman, C. Stephen. Boston : McGraw-Hill, 2002 . ix, 592 p. : , Includes index. 24 cm.. 0072875879

Place Hold on The power of logic /

An introductory text-book of logic,

By Mellone, Sydney Herbert,. Edinburgh and | London, W. Blackwood & sons, ltd., 1937 . xiii, 363 p. 19 cm..

Place Hold on An introductory text-book of logic,

Introduction to logic /

By Copi, Irving M.. New York : | London : Macmillan ; | Collier Macmillan, 1986 . xiv, 617 p. : , Includes index. 24 cm.. 0023250208 | 0029461006 (international ed.)

Place Hold on Introduction to logic /

A concise introduction to logic /

By Hurley, Patrick J.,. Australia ; | Belmont, CA : Wadsworth/Thomson Learning, 2003 . x, 662 p. : 25 cm. +. 0534584829

Place Hold on A concise introduction to logic /

Elementary logic induction/

By Chand, D.. Cawnpore: Narayana & Co., 1925 . 256p. 15cm..

Place Hold on Elementary logic induction/

The elements of logic/

By Latta,Robert. London : Macmillian & Co, 1929 . viii,393p. : , includes index 24 cm.

Place Hold on The elements of logic/

Basic logic;

By McCall, Raymond J.. New York, Barnes & Noble 1952 . 235 p. 20 cm..

Place Hold on Basic logic;

Statistical methods and scientific inference.

By Fisher, Ronald Aylmer,. Edinburgh, Oliver and Boyd 1956 . 175 p. 23 cm..

Place Hold on Statistical methods and scientific inference.

Elements of mathematical logic

By Novikov, P. S.. Edinburgh, | Reading, Mass., Oliver & Boyd; | Addison-Wesley Pub. Co. 1964 . xi, 296 p. 24 cm..

Place Hold on Elements of mathematical logic

A concise introduction to pure mathematics /

By Liebeck, M. W.. Boca Raton : Chapman & Hall/CRC, 2006 . xv, 204 p. : 24 cm.. 1584885475 (pbk.)

Place Hold on A concise introduction to pure mathematics /

Mathematical logic :

By Cori, René.. Oxford ; | New York : Oxford University Press, 2000 . 2 v. ; 24 cm.. 0198500491 (pt. 1 : acidfree paper) | 0198500483 (pbk. : pt. 1 : acid-free paper)

Place Hold on Mathematical logic :

Logic in elementary mathematics

By Exner, Robert M.. New York, McGraw-Hill, 1959 . 274 p. 24 cm..

Place Hold on Logic in elementary mathematics

Symbolic logic and the real number system;

By Lightstone, A. H.. New York, Harper & Row 1965 . ix, 225 p. 24 cm..

Place Hold on Symbolic logic and the real number system;

A critical study of logical paradoxes.

By Intisar-ul-Hague.. [Peshawar, University of Peshawar; distributors: Co-operative Bookshop, Lahore, 1969 . ix, 174 p. , Originally presented as the author's thesis, University of Edinburgh, for Ph.D. degree, 1966. 23 cm..

Place Hold on A critical study of logical paradoxes.

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

By Lipschutz, Seymour.. New York : McGraw-Hill, 1997 . ix, 538 p. : , Includes index. 28 cm.. 0070380457 (pbk.)

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

Digital fundamentals /

By Floyd, Thomas L.. Columbus, Ohio : Merrill, 1986 . xiii, 661, [60] p. : , Includes index. 24 cm.. 0675205174

Place Hold on Digital fundamentals /

Designing with TTL integrated circuits.

New York, McGraw-Hill 1971 . ix, 322 p. 27 cm.. 0070637458

Place Hold on Designing with TTL integrated circuits.

Principles of digital design /

By Gajski, Daniel D.. Upper Saddle River, N.J. : Prentice Hall, 1997 . xv, 447 p. : 24 cm.. 0133011445

Place Hold on Principles of digital design /

Digital fundamentals /

By Floyd, Thomas L.. Columbus, Ohio : Merrill, 1986 . xiii, 661, [60] p. : , Includes index. 24 cm.. 0675205174

Place Hold on Digital fundamentals /

Introduction to digital logic design /

By Hayes, John P.. Reading, Mass. : Addison-Wesley, 1993 . xv, 815 p. : 24 cm.. 0201154617

Place Hold on Introduction to digital logic design /

Digital fundamentals /

By Floyd, Thomas L.. Columbus, Ohio : Merrill, 1986 . xiii, 661, [60] p. : , Includes index. 24 cm.. 0675205174

Place Hold on Digital fundamentals /

Logic circuit design /

By Shaw, Alan W.. Fort Worth : Saunders College Pub., 1993 . xv, 702 p., [11] p. : , Includes index. 25 cm.. 0030507936

Place Hold on Logic circuit design /

Digital logic and computer design /

By Mano, M. Morris,. Englewood Cliffs, N.J. : Prentice-Hall, 1996 . xii, 612 p. : 25 cm.. 0132145103 :

Place Hold on Digital logic and computer design /

Introduction to digital circuits /

By Bogart, Theodore F.. Lake Forest, Ill. : Glencoe, 1992 . xii, 820 p. : , Includes index. 25 cm.. 0028199413

Place Hold on Introduction to digital circuits /

Advanced digital design with the Verilog HDL /

By Ciletti, Michael D.. Upper Saddle River, NJ : Prentice Hall, 2003 . xxi, 982 p. : 24 cm.. 0130891614

Place Hold on Advanced digital design with the Verilog HDL /

Digital engineering design :

By Tinder, Richard F.,. Englewood Cliffs, N.J. : Prentice-Hall, 1991 . xiv, 685 p. : 25 cm.. 013211707X :

Place Hold on Digital engineering design :

Introduction to logic design /

By Marcovitz, Alan B.. Boston : McGraw-Hill, 2002 . xi, 572 p. : , Includes index. 24 cm.. 0072476990

Place Hold on Introduction to logic design /

Introduction to logic design /

By Marcovitz, Alan B.. Boston : McGraw-Hill Higher Education, 2005 . xiv, 652 p. : , Includes index. 24 cm. +. 0072865164

Place Hold on Introduction to logic design /