Mathematical Logic For Computer Science

Main
Mathematics
Mathematical Logic For Computer Science

Mathematical Logic For Computer Science

Lu Zhongwan

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Thể loại:

Năm:

1998

In lần thứ:

2nd ed.

Nhà xuát bản:

World Scientific Publishing Company

Ngôn ngữ:

english

Trang:

248

ISBN 10:

9810230915

ISBN 13:

9789810230913

Loạt:

Series in Computer Science Vol. 47

File:

PDF, 13.49 MB

IPFS:

,

english, 1998

Đọc online

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

Bondy J.A., Murty U.S.R. — Graph Theory with Applications

C. L. Liu — Elements of Discrete Mathematics

Mordechai Ben-Ari — Mathematical Logic for Computer Science

陆钟万 — 面向计算机科学的数理逻辑（第二版）

Moshé Machover — Set Theory, Logic and Their Limitations

Unknown — Logic For Everyone

Unknown [Desconocido] — Logic For Everyone

Unknown — Logic For Everyone

Unknown — Logic For Everyone

Desconocido — Logic For Everyone

Desconocido [Desconocido] — Logic For Everyone

Unknown — Logic For Everyone

Unknown — Logic For Everyone

Desconocido — Logic For Everyone

Robert A. Herrmann — Logic For Everyone

Desconocido — Logic For Everyone

Desconocido — Logic For Everyone

Unknown — Logic For Everyone

Unknown — Logic For Everyone

Desconocido — Logic For Everyone

Robert A. Herrmann — Logic For Everyone

Joel W. Robbin — Mathematical Logic: A First Course

Richmond H. Thomason — Symbolic Logic: An Introduction

Harrie de Swart — Philosophical and Mathematical Logic

Hirst H.P., Hirst J.L. — A primer for logic and proof

Herrmann R.A. — Logic For Everyone

Hirst H.P., Hirst J.L. — A Primer for Logic and Proof

Arindama Singh — Logics for Computer Science, 2nd Edition

R. Herrmann — Logic for Everyone

Richmond H. Thomson — Symbolic logic: an introduction

K. Schutte — Proof Theory

Bilaniuk S. — A Problem Course in Mathematical Logic

H.-D. Ebbinghaus, J. Flum, W. Thomas — Mathematical Logic

Carol R. Karp (Eds.) — Languages with Expressions of Infinite Length

Raymond M. Smullyan — A Beginner's Guide to Mathematical Logic

Raymond M. Smullyan — A Beginner's Guide to Mathematical Logic

J.-J. Ch. Meyer, W. van der Hoek — Epistemic Logic for AI and Computer Science

Moshe Machover — Set theory, logic, and their limitations

Moshe Machover — Set Theory, Logic and their Limitations

Từ khóa thường sử dụng nhất