UTB Library OPAC Search for 'su:"Logic, Symbolic and mathematical"'

Discrete mathematics : Schaum's easy outlines crash course /

By Lipschutz, Seymour. New York : McGraw-Hill, Inc. ; 2003 . v, 120 pages : , Includes index. 22cm.. 9780071398770

Place hold on Discrete mathematics : Schaum's easy outlines

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

By Solow, Daniel.. New York John Wiley & Sons 1990 . Pages: 242 0471510041

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

Logic, programming and prolog

By Nilsson, Ulf. Chichester John Wiley & Sons 1990 . Pages: 289 0471926256

Place hold on Logic, programming and prolog

Logic programming : functions, relations, and equations

By DeGroot, Doug. Englewood Cliffs, New Jersey Prentice-Hall 1986 . Pages: 533 0135399580

Place hold on Logic programming : functions, relations, and equations

Mathematical foundations of programming

By Beckman, Frank S.. Reading, MA Addison-Wesley 1980 . Pages: 443 , Abstracts Includes bibliographies and index. 020114462X

Place hold on Mathematical foundations of programming

Simply logical : intelligent reasoning by example

By Flach, Peter A.. Chichester John Wiley & Sons 1994 . Pages: 240 , Notes Registration No: 27696 (1 al) Notes Registration No: 27696 (1 al) Includes one computer disk (3 1/2 in) available from Notes Registration No: 27696 (1 al) No the counter. Notes Registration No: 27696 (1 al) No System requirements for computer disk: IBM-compatible Notes Registration No: 27696 (1 al) No PC; DOS; Prolog. Notes Registration No: 27696 (1 al) No Includes bibliographical references and index. Serials holdings B$$115.95 0471941522

Place hold on Simply logical : intelligent reasoning by example

Theory and problems of discrete mathematics /

By Lipschutz, Seymour. New York : McGraw-Hill, Inc. ; 2007 . xi, 474 pages : , Previous ed.: 2003. | Formerly CIP. 28cm.. 9780071470384

Place hold on Theory and problems of discrete mathematics /

Istilah Matematik Landasan (Logik Matematik : Teori Set)

Bandar Seri Begawan, Negara Brunei Darussalam : Dewan Bahasa dan Pustaka Brunei, Kementerian Kebudayaan, Belia dan Sukan, 1994 . xv, 63 pages ; , Daftar ini telah diluluskan oleh Jawatankuasa Tetap Bahasa Melayu, Brunei Darussalam. 21 cm.

Place hold on Istilah Matematik Landasan (Logik Matematik : Teori Set)

Logic for Information and Technology /

By Galton, Antony. England : John Wiley & Sons Ltd, 1990 . vii, 290 pages : , I 25 cm.. 0471929336

Place hold on Logic for Information and Technology /