Logics of Proofs and Justifications - Kuznets, Roman
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreExpédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Nos autres offres
-
28,60 €
Produit Neuf
- Livraison à 0,01 €
- Livré entre le 5 et le 12 mai
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781848901681_dbm
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Logics Of Proofs And Justifications de Kuznets, Roman Format Broché - Livre Mathématiques
0 avis sur Logics Of Proofs And Justifications de Kuznets, Roman Format Broché - Livre Mathématiques
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Anglais - Débutants À B2
1 avis
Neuf dès 26,90 €
Occasion dès 29,99 €
-
Prisons
Neuf dès 39,50 €
Occasion dès 43,48 €
-
Dictionnaire Français-Malgache
Occasion dès 19,90 €
-
L'homme Démantelé: Comment Le Numérique Consume Nos Existences
Neuf dès 18,90 €
Occasion dès 44,44 €
-
Wynn Bullock Photography: A Way Of Life
Occasion dès 25,00 €
-
Le Grec Ancien
4 avis
Occasion dès 19,00 €
-
Sola Busca Tarot
Neuf dès 42,49 €
Occasion dès 35,42 €
-
Essential Peirce
Neuf dès 47,86 €
Occasion dès 30,00 €
-
Dancing The Dream
18 avis
Neuf dès 32,46 €
-
Fleet Tactics And Naval Operations, Third Edition
Neuf dès 39,33 €
-
Sorcery! 2, Khare-Cityport Of Traps
Occasion dès 16,95 €
-
Linguistique Et Anthropologie
Occasion dès 19,00 €
-
The Ballad Of The Sad Café
2 avis
Neuf dès 16,93 €
Occasion dès 29,57 €
-
Lewis Carroll's Photography And Modern Childhood
Neuf dès 83,64 €
Occasion dès 39,71 €
-
Phenomenology Of Spirit
Neuf dès 48,69 €
Occasion dès 37,32 €
-
Mobilier Art Deco
Occasion dès 40,00 €
-
Hazel Soan's Art Of The Limited Palette
Neuf dès 27,54 €
-
Color And Light
4 avis
Neuf dès 33,85 €
Occasion dès 52,47 €
-
Videotapes From Hell
Neuf dès 32,00 €
-
Northwest Coast Indian Art
Neuf dès 31,62 €
Produits similaires
Présentation Logics Of Proofs And Justifications de Kuznets, Roman Format Broché
- Livre Mathématiques
Résumé :
Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in the language by terms, which can be interpreted as formal proofs in a deductive system, evidence for knowledge, winning strategy in a game, etc. This more expressive language proved beneficial in both proof theory and epistemology and helped investigate problems ranging from a classical provability semantics for intuitionistic logic to the logical omniscience problem. Justification logic is a new and fast evolving field that offers unexpected new approaches and insights into old problems. Its position at the junction of mathematics, philosophy, and computer science makes it of interest to a wide audience. This book provides a rigorous introduction to justification logic. It covers the basic constructions of justification logic as well as epistemic models and provability semantics. Further it includes chapters on decidability and complexity of justification logics as well as a chapter on self-referentiality. It also contains detailed historic remarks on the subject. ...
Détails de conformité du produit
Personne responsable dans l'UE