Overview
Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.
- | Author: Sergei Artemov, Melvin Fitting
- | Publisher: Cambridge University Press
- | Publication Date: May 02, 2019
- | Number of Pages: 268 pages
- | Language: English
- | Binding: Hardcover/Mathematics
- | ISBN-10: 1108424910
- | ISBN-13: 9781108424912
