Excellent Career Begins with Excellent Education

Filter by

Publication Year
Availability

On Shelf
Attachment

PDF

Audio

Video
Collection Type

Bachelor's Thesis

Bibliography

Biography

Brochure

CD-ROM

Complementary VCD/DVD

Dictionary

Directory

Doctoral Dissertation

Encyclopedia

Fiction

Glossary

Guidebook/Handbook

Index

Internship

Journal

Leaflet

Magazine

Map

Master's Thesis

Modul

Movie

Pamflet

Poster

Proceeding

Reference

Report

Textbook
See More
General Material Designation

Art Original

Cartographic Material

Chart

Computer File

Computer Software

Diorama

E-book

Electronic Resource

Equipment

Filmstrip

Flash Card

Game

Globe

Kit

Manuscript

Map

Microform

Microscope Slide

Model

Motion Picture

Multimedia

Music

Picture

print

Realia

Slide

Sound Recording

Technical Drawing

Text

Transparency

VCD/DVD

Video Recording
See More
Location

BI Corner 2ND

Kampus Menara Kompas

My Library

Pre School
Language

Czech

Dutch

English

France

German

Indonesia

Italian

Japanese

Korean

Thailand
See More

Found 1 from your keywords: author="Ben-Ari, Mordechai"

Sort by

Mathematical logic for computer science. Second Edition

This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. In order to provide a balanced treatment of logic, tableaux are related to deductive proof systems. The …

Edition: Second Edition
ISBN/ISSN: 1852333197
Collation: xiv, 304 hlm. : ilus. ; 24 cm.
Series Title: -
Call Number: 511.321 Ben m

Availability3

MARC Download Cite