Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics, Series Number 216)
Cambridge University Press
ISBN13:
9781108424912
$132.57
(No reviews yet)
Write a Review
Cambridge University Press
Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics, Series Number 216)
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
- 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
-
-
-
Sale
Designs And Their Codes (Cambridge Tracts In Mathematics, Series Number 103)
$199.01 $179.85Cambridge University Press
-
Sale
Matrix Positivity (Cambridge Tracts in Mathematics, Series Number 221)
$126.71 $119.84Cambridge University Press
