Mutually-Inversistic Logic

Mathematics2013 年出版482 页ISBN：

temporal logic and temporal logic progamming

duan zhenhua2222 年出版196 页ISBN：7030166515

本书主要介绍有关计算机科学与技术方面的基本知识和应用等。

COMPUTING WITH LOGIC LOGIC PROGRAMMING WITH PROLOG

DAVID MAIER1987 年出版535 页ISBN：0805366814

EPISTEMIC LOGIC A SURVEY OF THE LOGIC OF KNOWLEDGE

NICHOLAS RESCHER2222 年出版140 页ISBN：

Dependence Logic A New Approach to Independence Friendly Logic

Jouko Vaananen2007 年出版225 页ISBN：0521876591

Parallel and constraint logic programming an introduction to logic

parallelism and constraints1998 年出版145 页ISBN：0792393710

Logic An Introduction

1950 年出版496 页ISBN：

MATHEMATICAL LOGIC

1984 年出版216 页ISBN：0387908951;3540908951

INFORMAL LOGIC

IRVING M.COPI1986 年出版354 页ISBN：0023249404

Inductive Logic Programming

2222 年出版261 页ISBN：