| Title | Justification Logic: Reasoning with Reasons |
|---|---|
| Author | Sergei Artemov; Melvin Fitting |
| Year | 2019 |
| Edition | |
| Volume | |
| Series | Cambridge Tracts in Mathematics 216 |
| Publisher | Cambridge University Press |
| City | |
| Language | English |
Size: 1.26MB | Pages: xxi+248 |
LLC: N/A | DDC:
Related Books
- No Related Books!