Computation, logic, philosophy a collection of essays
Saved in:
Main Author: | Wang, Hao |
---|---|
Format: | Book |
Published: |
Beijing
Science Press
1990
|
Series: | Mathematics and its applications.
|
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Logic and computer science
Published: (1990) -
Mathematical logic and computability
by: Keisler, H. Jerome
Published: (1996) -
Logic and computation interactive proof with Cambridge LCF
by: Paulson, Lawrence C
Published: (1990) -
Mathematical logic for computer science
by: Ben-Ari, M
Published: (1993) -
Introduction to mathematical logic and resolution principle
by: Wang, Guo-Jun
Published: (2009)