0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Philosophy of mathematics

Buy Now

Justification Logic - Reasoning with Reasons (Hardcover) Loot Price: R3,277
Discovery Miles 32 770
Justification Logic - Reasoning with Reasons (Hardcover): Sergei Artemov, Melvin Fitting

Justification Logic - Reasoning with Reasons (Hardcover)

Sergei Artemov, Melvin Fitting

Series: Cambridge Tracts in Mathematics

 (sign in to rate)
Loot Price R3,277 Discovery Miles 32 770 | Repayment Terms: R307 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working days

Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the reliability of assertions. This book, the first in the area, is a systematic account of the subject, progressing from modal logic through to the establishment of an arithmetic interpretation of intuitionistic logic. The presentation is mathematically rigorous but in a style that will appeal to readers from a wide variety of areas to which the theory applies. These include mathematical logic, artificial intelligence, computer science, philosophical logic and epistemology, linguistics, and game theory.

General

Imprint: Cambridge UniversityPress
Country of origin: United Kingdom
Series: Cambridge Tracts in Mathematics
Release date: May 2019
Authors: Sergei Artemov • Melvin Fitting
Dimensions: 235 x 156 x 19mm (L x W x T)
Format: Hardcover
Pages: 268
ISBN-13: 978-1-108-42491-2
Categories: Books > Science & Mathematics > Mathematics > Philosophy of mathematics
Books > Humanities > Philosophy > Topics in philosophy > Epistemology, theory of knowledge
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Philosophy > Topics in philosophy > Epistemology, theory of knowledge
LSN: 1-108-42491-0
Barcode: 9781108424912

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Logic, Proof and Computation
Mark Tarver Paperback R509 Discovery Miles 5 090
Once Upon a Prime - The Wondrous…
Sarah Hart Hardcover R396 Discovery Miles 3 960
The No.1 Book of Numbers - Exploring the…
Ruth Binney Hardcover  (1)
R414 R281 Discovery Miles 2 810
The Maths That Made Us - how numbers…
Michael Brooks Paperback R315 R252 Discovery Miles 2 520
Basic Mathematics - A Revision Primer…
Trevor Wegner Paperback R547 R482 Discovery Miles 4 820
Is Maths Real? - & Other Questions That…
Eugenia Cheng Hardcover R527 R429 Discovery Miles 4 290
Galois Theory
Ian Stewart Paperback R1,728 Discovery Miles 17 280
The Equation of Knowledge - From Bayes…
Lê Nguyên Hoang Paperback R1,108 Discovery Miles 11 080
Geometry for the Artist
Catherine A. Gorini Paperback R1,451 Discovery Miles 14 510
Theology of Arithmetic
Iamblichus Paperback R437 R379 Discovery Miles 3 790
A Minimalist Ontology of the Natural…
Michael Esfeld, Dirk-Andre Deckert Hardcover R4,138 Discovery Miles 41 380
Philosophy of Mathematics
A. Paseau Hardcover R29,452 R22,763 Discovery Miles 227 630

See more

Partners