NUST Institutions Library Catalogue catalog › Results of 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 Douglas E. Ensley, J. Winston Crawley. by Ensley, Douglas E \| Crawley, J. Winston. Publisher: Hoboken, NJ : Wiley, c2006Online access: Table of contents only \| Publisher description \| Contributor biographical information Availability: Items available for loan: Central Library (CL)Call number: 511.1 ENS (1). Place hold Find in NUST Repository
		Schaum's outline of theory and problems of discrete mathematics Seymour Lipschutz, Marc Lars Lipson. by Lipschutz, Seymour \| Lipson, Marc. Edition: 2nd ed. Publisher: New York : McGraw-Hill, c1997Other title: Theory and problems of discrete mathematics \| Discrete mathematics.Availability: Items available for loan: Central Library (CL)Call number: 511 LIP (3). Place hold Find in NUST Repository
		Introduction to mathematics of satisfiability Victor W. Marek. by Marek, W. Viktor. Publisher: Boca Raton : CRC Press, c2009Availability: Items available for loan: Central Library (CL)Call number: 511.3 MAR (1). Place hold Find in NUST Repository
		Higher order logic and hardware verification by Melham, T. F. (Tom F.). Material type: Text Publisher: New York Cambridge University Press 1993Availability: Items available for loan: Central Library (CL)Call number: 621.392 MEL (1). Place hold Find in NUST Repository
		How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow. by Solow, Daniel. Edition: 3rd ed.Material type: Text; Format: print ; Literary form: Not fiction Publisher: New York : Wiley, c2002Online access: Publisher description \| Table of Contents Availability: Items available for loan: Pakistan Navy Engineering College (PNEC)Call number: 511.3 SOL (1). Place hold Find in NUST Repository
		Introduction to Mathematical Logic / Elliott Mendelson. by Mendelson, Elliott. Edition: 3rd ed. Publisher: Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, c1987Availability: Items available for reference: Military College of Signals (MCS) Not for loanCall number: 511.3,MEN (1). :
		Classical and Fuzzy Concepts in Mathematical Logic and Applications / Mircea Reghis, Eugene Roventa. by Reghi?Mircea \| Roventa, Eugene. Publisher: Boca Raton : CRC Press, c1998Online access: Publisher description Availability: Items available for reference: Military College of Signals (MCS) Not for loanCall number: 511.3,REG (1). :
		Discrete mathematics and its applications / Kenneth H. Rosen. by Rosen, Kenneth H. Edition: 3rd ed. Publisher: Boston : McGraw-Hill Higher Education, c2007Online access: Contributor biographical information \| Publisher description \| Table of contents Availability: Items available for loan: Military College of Signals (MCS)Call number: 511,ROS (1). Place hold Find in NUST Repository
		Discrete mathematics and its applications / Kenneth H. Rosen. by Rosen, Kenneth H. Edition: 3rd ed. Publisher: Boston : McGraw-Hill Higher Education, c2007Online access: Contributor biographical information \| Publisher description \| Table of contents Availability: Items available for loan: Military College of Signals (MCS)Call number: 511,ROS (1). Place hold Find in NUST Repository
		100% mathematical proof / Rowan Garnier, John Taylor. by Garnier, Rowan \| Taylor, John, 1957-. Publisher: Chichester ; New York : Wiley, c1996Other title: One hundred percent mathematical proof.Online access: Publisher description \| Table of Contents Availability: Items available for loan: Military College of Signals (MCS)Call number: 510,GAR (1). Place hold Find in NUST Repository
		The foundations of mathematics / Ian Stewart and David Tall. by Stewart, Ian \| Tall, David Orme. Publisher: Oxford ; New York : Oxford University Press, 1977Online access: Table of contents only Availability: Items available for loan: Military College of Signals (MCS)Call number: 510.STE (4). Place hold Find in NUST Repository
		Learning to Rreason : an Introduction to Logic, Sets and Relations / Nancy Rodgers. by Rodgers, Nancy. Publisher: New York : Wiley, 2000Online access: Contributor biographical information \| Publisher description \| Table of Contents Availability: Items available for reference: Military College of Signals (MCS) Not for loanCall number: 511.3,ROD (1). :
		Logic for computer science (E-BOOK) Steve Reeves, Michael Clarke. by Reeves, Steve \| Clarke, Michael, 1940-. Publisher: Wokingham, England ; Reading, Mass. : Addison-Wesley, c1990Availability: Items available for loan: Military College of Signals (MCS)Call number: 004.015113 REE (1). Place hold Find in NUST Repository
		Logic functions and equations (E-BOOK) examples and exercises / Bernd Steinbach, Christian Posthoff. by Steinbach, Bernd \| Posthoff, Christian. Publisher: [Dordrecht] : Springer, c2009Availability: Items available for loan: Military College of Signals (MCS)Call number: 511.3 STE (1). Place hold Find in NUST Repository
		Schaum's outline of theory and problems of discrete mathematics - (E-Book) Seymour Lipschutz, Marc Lars Lipson. by Lipschutz, Seymour \| Lipson, Marc. Edition: 3rd ed. Publisher: New York : McGraw-Hill, c2007Other title: Discrete mathematics \| Theory and problems of discrete mathematics.Availability: Items available for loan: Military College of Signals (MCS)Call number: 512.02 LIP (1). Place hold Find in NUST Repository
		Schaum's outline of theory and problems of discrete mathematics (E-BOOK) Seymour Lipschutz, Marc Lars Lipson. by Lipschutz, Seymour \| Lipson, Marc. Edition: 3rd ed. Publisher: New York : McGraw-Hill, c2007Other title: Discrete mathematics \| Theory and problems of discrete mathematics.Availability: Items available for loan: Military College of Signals (MCS) (1). Place hold Find in NUST Repository
		Logic, sets, and recursion . Robert L. Causey. by Causey, Robert L \| Causey, Robert L. Edition: 2nd ed.Material type: Text; Format: print ; Literary form: Not fiction Publisher: New Delhi. Jones and Bartlett Publishers, 2010Availability: Items available for loan: Central Library (CL)Call number: 511.3 CAU (1). Place hold Find in NUST Repository
		Computers from logic to architecture R.D. Dowsing, by Dowsing, Roy \| Rayward-Smith, V. J \| Walter, C. D. Material type: Text Publisher: London ; VNR international, 1990Availability: Items available for loan: Military College of Engineering (MCE) Call number: 004 woo (1). Place hold Find in NUST Repository
		Logic and knowledge : essays, 1901-1950 / Bertrand Russell ; edited by Robert Charles Marsh. by Russell, Bertrand. Material type: Text Publisher: London : New York : Routledge ; Macmillan, 1985Availability: Items available for loan: Military College of Engineering (MCE) Call number: 192 RUS (1). Place hold Find in NUST Repository
		No cover image available Solvable cases of the decision problem. by Ackermann, W. Material type: Text Publisher: Amsterdam, North-Holland Pub. Co., 1954Availability: Items available for loan: Military College of Engineering (MCE) Call number: 519.542 ACK (1). Place hold Find in NUST Repository
		No cover image available The logic design of transistor digital computers [by] Gerald A. Maley [and] John Earle. by Maley, Gerald A \| Earle, John. Material type: Text Publisher: Englewood Cliffs, N.J., Prentice-Hall, 1963Availability: Items available for loan: Military College of Engineering (MCE) Call number: 621.395 MAL (1). Place hold Find in NUST Repository
		Chapter zero fundamental nations of abstract mathematics by Schumacher, Carol. Material type: Text; Format: print ; Literary form: Not fiction Publisher: NEWYORK ADDISON WESLY 1996Availability: Items available for loan: College of Electrical & Mechanical Engineering (CEME)Call number: 511.3 SCH (1). Place hold Find in NUST Repository
		Logic a foundation for computer science by Sperschneider, V Antoniou, G. Material type: Text; Format: print ; Literary form: Not fiction Publisher: NEWYORK ADDISON WESLEY 1991Availability: Items available for loan: College of Electrical & Mechanical Engineering (CEME)Call number: 004 SPE (1). Place hold Find in NUST Repository
		Basic Discrete Mathematics : Logic, Set Theory, & Probability / Richard Kohar (Royal Military College of Canada). by Kohar, Richard. Material type: Text; Format: print ; Literary form: Not fiction Publisher: New Jersey : World Scientific, 2016Availability: Items available for reference: Military College of Signals (MCS) Not for loanCall number: 511,KOH (1). :
		Discrete structures, logic, and computability / James L. Hein. by Hein, James L. Edition: 3rd ed.Material type: Text; Format: print ; Literary form: Not fiction Publisher: Sudbury, Mass. : Jones and Bartlett Publishers, c2010Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.115,HEI (1). Place hold Find in NUST Repository

		Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games mathematical reasoning and proof with puzzles, patterns, and games Douglas E. Ensley, J. Winston Crawley. by Ensley, Douglas E \| Crawley, J. Winston. Publisher: Hoboken, NJ : Wiley, c2006Online access: Table of contents only \| Publisher description \| Contributor biographical information Availability: Items available for loan: Central Library (CL)Call number: 511.1 ENS (1). Place hold Find in NUST Repository
		Schaum's outline of theory and problems of discrete mathematics Seymour Lipschutz, Marc Lars Lipson. by Lipschutz, Seymour \| Lipson, Marc. Edition: 2nd ed. Publisher: New York : McGraw-Hill, c1997Other title: Theory and problems of discrete mathematics \| Discrete mathematics.Availability: Items available for loan: Central Library (CL)Call number: 511 LIP (3). Place hold Find in NUST Repository
		Introduction to mathematics of satisfiability Victor W. Marek. by Marek, W. Viktor. Publisher: Boca Raton : CRC Press, c2009Availability: Items available for loan: Central Library (CL)Call number: 511.3 MAR (1). Place hold Find in NUST Repository
		Higher order logic and hardware verification by Melham, T. F. (Tom F.). Material type: Text Publisher: New York Cambridge University Press 1993Availability: Items available for loan: Central Library (CL)Call number: 621.392 MEL (1). Place hold Find in NUST Repository
		How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow. by Solow, Daniel. Edition: 3rd ed.Material type: Text; Format: print ; Literary form: Not fiction Publisher: New York : Wiley, c2002Online access: Publisher description \| Table of Contents Availability: Items available for loan: Pakistan Navy Engineering College (PNEC)Call number: 511.3 SOL (1). Place hold Find in NUST Repository
		Introduction to Mathematical Logic / Elliott Mendelson. by Mendelson, Elliott. Edition: 3rd ed. Publisher: Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, c1987Availability: Items available for reference: Military College of Signals (MCS) Not for loanCall number: 511.3,MEN (1). :
		Classical and Fuzzy Concepts in Mathematical Logic and Applications / Mircea Reghis, Eugene Roventa. by Reghi?Mircea \| Roventa, Eugene. Publisher: Boca Raton : CRC Press, c1998Online access: Publisher description Availability: Items available for reference: Military College of Signals (MCS) Not for loanCall number: 511.3,REG (1). :
		Discrete mathematics and its applications / Kenneth H. Rosen. by Rosen, Kenneth H. Edition: 3rd ed. Publisher: Boston : McGraw-Hill Higher Education, c2007Online access: Contributor biographical information \| Publisher description \| Table of contents Availability: Items available for loan: Military College of Signals (MCS)Call number: 511,ROS (1). Place hold Find in NUST Repository
		Discrete mathematics and its applications / Kenneth H. Rosen. by Rosen, Kenneth H. Edition: 3rd ed. Publisher: Boston : McGraw-Hill Higher Education, c2007Online access: Contributor biographical information \| Publisher description \| Table of contents Availability: Items available for loan: Military College of Signals (MCS)Call number: 511,ROS (1). Place hold Find in NUST Repository
		100% mathematical proof / Rowan Garnier, John Taylor. by Garnier, Rowan \| Taylor, John, 1957-. Publisher: Chichester ; New York : Wiley, c1996Other title: One hundred percent mathematical proof.Online access: Publisher description \| Table of Contents Availability: Items available for loan: Military College of Signals (MCS)Call number: 510,GAR (1). Place hold Find in NUST Repository
		The foundations of mathematics / Ian Stewart and David Tall. by Stewart, Ian \| Tall, David Orme. Publisher: Oxford ; New York : Oxford University Press, 1977Online access: Table of contents only Availability: Items available for loan: Military College of Signals (MCS)Call number: 510.STE (4). Place hold Find in NUST Repository
		Learning to Rreason : an Introduction to Logic, Sets and Relations / Nancy Rodgers. by Rodgers, Nancy. Publisher: New York : Wiley, 2000Online access: Contributor biographical information \| Publisher description \| Table of Contents Availability: Items available for reference: Military College of Signals (MCS) Not for loanCall number: 511.3,ROD (1). :
		Logic for computer science (E-BOOK) Steve Reeves, Michael Clarke. by Reeves, Steve \| Clarke, Michael, 1940-. Publisher: Wokingham, England ; Reading, Mass. : Addison-Wesley, c1990Availability: Items available for loan: Military College of Signals (MCS)Call number: 004.015113 REE (1). Place hold Find in NUST Repository
		Logic functions and equations (E-BOOK) examples and exercises / Bernd Steinbach, Christian Posthoff. by Steinbach, Bernd \| Posthoff, Christian. Publisher: [Dordrecht] : Springer, c2009Availability: Items available for loan: Military College of Signals (MCS)Call number: 511.3 STE (1). Place hold Find in NUST Repository
		Schaum's outline of theory and problems of discrete mathematics - (E-Book) Seymour Lipschutz, Marc Lars Lipson. by Lipschutz, Seymour \| Lipson, Marc. Edition: 3rd ed. Publisher: New York : McGraw-Hill, c2007Other title: Discrete mathematics \| Theory and problems of discrete mathematics.Availability: Items available for loan: Military College of Signals (MCS)Call number: 512.02 LIP (1). Place hold Find in NUST Repository
		Schaum's outline of theory and problems of discrete mathematics (E-BOOK) Seymour Lipschutz, Marc Lars Lipson. by Lipschutz, Seymour \| Lipson, Marc. Edition: 3rd ed. Publisher: New York : McGraw-Hill, c2007Other title: Discrete mathematics \| Theory and problems of discrete mathematics.Availability: Items available for loan: Military College of Signals (MCS) (1). Place hold Find in NUST Repository
		Logic, sets, and recursion . Robert L. Causey. by Causey, Robert L \| Causey, Robert L. Edition: 2nd ed.Material type: Text; Format: print ; Literary form: Not fiction Publisher: New Delhi. Jones and Bartlett Publishers, 2010Availability: Items available for loan: Central Library (CL)Call number: 511.3 CAU (1). Place hold Find in NUST Repository
		Computers from logic to architecture R.D. Dowsing, by Dowsing, Roy \| Rayward-Smith, V. J \| Walter, C. D. Material type: Text Publisher: London ; VNR international, 1990Availability: Items available for loan: Military College of Engineering (MCE) Call number: 004 woo (1). Place hold Find in NUST Repository
		Logic and knowledge : essays, 1901-1950 / Bertrand Russell ; edited by Robert Charles Marsh. by Russell, Bertrand. Material type: Text Publisher: London : New York : Routledge ; Macmillan, 1985Availability: Items available for loan: Military College of Engineering (MCE) Call number: 192 RUS (1). Place hold Find in NUST Repository
		No cover image available Solvable cases of the decision problem. by Ackermann, W. Material type: Text Publisher: Amsterdam, North-Holland Pub. Co., 1954Availability: Items available for loan: Military College of Engineering (MCE) Call number: 519.542 ACK (1). Place hold Find in NUST Repository
		No cover image available The logic design of transistor digital computers [by] Gerald A. Maley [and] John Earle. by Maley, Gerald A \| Earle, John. Material type: Text Publisher: Englewood Cliffs, N.J., Prentice-Hall, 1963Availability: Items available for loan: Military College of Engineering (MCE) Call number: 621.395 MAL (1). Place hold Find in NUST Repository
		Chapter zero fundamental nations of abstract mathematics by Schumacher, Carol. Material type: Text; Format: print ; Literary form: Not fiction Publisher: NEWYORK ADDISON WESLY 1996Availability: Items available for loan: College of Electrical & Mechanical Engineering (CEME)Call number: 511.3 SCH (1). Place hold Find in NUST Repository
		Logic a foundation for computer science by Sperschneider, V Antoniou, G. Material type: Text; Format: print ; Literary form: Not fiction Publisher: NEWYORK ADDISON WESLEY 1991Availability: Items available for loan: College of Electrical & Mechanical Engineering (CEME)Call number: 004 SPE (1). Place hold Find in NUST Repository
		Basic Discrete Mathematics : Logic, Set Theory, & Probability / Richard Kohar (Royal Military College of Canada). by Kohar, Richard. Material type: Text; Format: print ; Literary form: Not fiction Publisher: New Jersey : World Scientific, 2016Availability: Items available for reference: Military College of Signals (MCS) Not for loanCall number: 511,KOH (1). :
		Discrete structures, logic, and computability / James L. Hein. by Hein, James L. Edition: 3rd ed.Material type: Text; Format: print ; Literary form: Not fiction Publisher: Sudbury, Mass. : Jones and Bartlett Publishers, c2010Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.115,HEI (1). Place hold Find in NUST Repository

NUST Institutions Library Catalogue

NUST INSTITUTIONS' LIBRARY CATALOGUE

Refine your search

Availability

Authors

Holding libraries

Home libraries

Item types

Locations

Series

Places

Topics

Your search returned 26 results.