The logic programming approach to computing investigates the use of logic as a programming language and explores computational models based on controlled deduction. The field of logic programming has seen a tremendous growth in the last several yea
这是一本优秀的数学书，专注于探讨理清一些数学底层概念的来历ROADS TO INFINITY
THE MATHEMATICS OF
TRUTH AND PROOF
JOHN STILLWELL
A K PETERS, LTD
NATICK, MASSACHUSETTS
Editorial, sales, and customer service office
A K Peters, Ltd
5 Commonwealth road, Suite 2C
Natick, Ma 01760
www.a
