pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register
CATEGORY BROWSE
Arts

Agriculture

Biography

Business

Children's

Computing

Earth Sciences

Economics

Educational

Engineering

English Language Teaching (ELT)

Environment

Family

Fiction

Finance

Geography

Home

Humanities

Industry

Information

Information Technology

Interdisciplinary Subjects

Language

Law

Leisure Interests

Literature

Mathematics

Medicine

Planning

Practical Interests

Reference

Science

Social Sciences

Sport

Technology

Travel

Veterinary Science


ABOUT US
About Us
Contact Us
Terms & Conditions

Item Details
Title: LOGIC IN COMPUTER SCIENCE
By: Hantao Zhang
Format: Paperback / softback

List price: £54.99
Our price: £48.12
Discount:
12.5% off
You save: £6.87
ISBN 10: 9819798159
ISBN 13: 9789819798155
Availability: Not yet published. (You may still order this item, and we will dispatch your order as soon as it becomes available.)
 Delivery rates
Stock: Currently 0 available
Publisher: SPRINGER VERLAG, SINGAPORE
Pub. date: 10 January, 2025
Pages: 400
Description: Mathematical logic is an important basis for mathematics, computer science and artificial intelligence alike. This book provides a comprehensive introduction to various logics, including classical propositional logic and first-order predicate logic, as well as equational logic, temporal logic, and Hoare logic.
Illustrations: Approx. 400 p.
Returns: Returnable
Some other items by this author:
A PLAN FOR THE REFORM OF THE NATIONAL SALT ADMINISTRATION
A PLAN FOR THE REFORM OF THE NATIONAL SALT ADMINISTRATION
A PLAN FOR THE REFORM OF THE NATIONAL SALT ADMINISTRATION (HB)
ADAPTABLE DESIGN (HB)
AN ENGLISH-CHINESE DICTIONARY OF ABBREVIATIONS (HB)
AUTOMATED MATHEMATICAL INDUCTION (HB)
AUTOMATED MATHEMATICAL INDUCTION (PB)
AUTOMATIC GENERATION OF COMBINATORIAL TEST DATA (PB)
CHINA''S ECONOMIC GENE MUTATIONS (PB)
CHINA'S ECONOMIC GENE MUTATIONS (HB)
CONSERVANCY WORK IN CHINA. A SERIES OF D (PB)
CONSERVANCY WORK IN CHINA. A SERIES OF DOCUMENTS RELATING TO CONSERVANCY IN KIANGPEI
CONSERVANCY WORK IN CHINA. A SERIES OF DOCUMENTS RELATING TO CONSERVANCY IN KIANGPEI
CONSERVANCY WORK IN CHINA. A SERIES OF DOCUMENTS RELATING TO CONSERVANCY IN KIANGPEI (HB)
CONTENT ANALYSES IN THE WWW ERA
CONTENT ANALYSES IN THE WWW ERA (PB)
DISASTER RELIEF IN THE ASIA PACIFIC
DISASTER RELIEF IN THE ASIA PACIFIC
DISASTER RELIEF IN THE ASIA PACIFIC
DISASTER RELIEF IN THE ASIA PACIFIC (HB)
DISASTER RELIEF IN THE ASIA PACIFIC (PB)
EFFICIENT AND ADAPTIVE IMAGE DATA HANDLING WITHIN A MOBILE ENVIRONMENT (PB)
FIBER-OPTIC SENSORS FOR INFRASTRUCTURE HEALTH MONITORING, VOLUME I
FIBER-OPTIC SENSORS FOR INFRASTRUCTURE HEALTH MONITORING, VOLUME I
FIBER-OPTIC SENSORS FOR INFRASTRUCTURE HEALTH MONITORING, VOLUME II
FIBER-OPTIC SENSORS FOR INFRASTRUCTURE HEALTH MONITORING, VOLUME II
GOVERNMENT AND MARKET IN CHINA (HB)
IMAGE POINT MATCHING IN MULTIPLE-VIEW OBJECT RECONSTRUCTION FROM IMAGE SEQUENCES
IMAGE POINT MATCHING IN MULTIPLE-VIEW OBJECT RECONSTRUCTION FROM IMAGE SEQUENCES (HB)
MATERIALS AND WORKING MECHANISMS OF SECONDARY BATTERIES
MATERIALS AND WORKING MECHANISMS OF SECONDARY BATTERIES (HB)
MILA THE MAGICIAN (PB)
MILA THE MAGICIAN (PB)
OLD FLOATING CLOUD (PB)
RESERVOIR SIMULATION - PROBLEMS AND SOLUTIONS
ROBUST OBSERVER-BASED FAULT DIAGNOSIS FO (PB)
ROBUST OBSERVER-BASED FAULT DIAGNOSIS FOR NONLINEAR SYSTEMS USING MATLAB (R)
STRUCTURAL GEOLOGY OF THE HENGSHAN-WUTAI-FUPING MOUNTAIN BELT
STRUCTURAL GEOLOGY OF THE HENGSHAN-WUTAI-FUPING MOUNTAIN BELT (HB)
STUDY ON THE PATH OF ENERGY COOPERATION IN NORTHEAST ASIA (HB)
THIS IS NOT AVAILABLE 047374
THIS IS NOT AVAILABLE 065067
UNDERSTANDING THE KOREAN PENINSULA (HB)
ZHANG JIZI SHI LU
ZHANG JIZI SHI LU

E-mail me, when this item is available


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
Illustrated Encyclopedia of Science
By: CLAUDIA MARTIN
add to basket

Fiction
Impossible Creatures
By: KATHERINE RUNDELL
add to basket

Fiction
Not for the Faint of Heart
By: LEX CROUCHER
add to basket

Fiction
Secret of Golden Island
By: NATASHA FARRANT
add to basket

Early Learning
Dictionary Story
By: SAM WINSTON
add to basket

Early Learning
Little Worried Caterpillar (PB)
By: CHRISTINE PYM
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
Nutty Numbers
By: DR. SEUSS
add to basket

Picture Book
All the Things We Carry PB
By: HELEN DOCHERTY
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket

Picture Book
Animal Swim School
By: KATE PERIDOT
add to basket