Fr. 109.20

Basic Proof Theory

Anglais · Livre de poche

Expédition généralement dans un délai de 2 à 3 semaines (titre imprimé sur commande)

Description

En savoir plus

Klappentext Introduction to proof theory and its applications in mathematical logic! theoretical computer science and artificial intelligence. Zusammenfassung This is an introduction to the basic ideas of structural proof theory. For the new edition! many sections have been rewritten to improve clarity! new sections have been added on cut elimination! and solutions to selected exercises have been included. Inhaltsverzeichnis 1. Introduction; 2. N-systems and H-systems; 3. Gentzen systems; 4. Cut elimination with applications; 5. Bounds and permutations; 6. Normalization for natural deduction; 7. Resolution; 8. Categorical logic; 9. Modal and linear logic; 10. Proof theory of arithmetic; 11. Second-order logic; Solutions to selected exercises. Bibliography; Symbols and notation; Index.

Commentaires des clients

Aucune analyse n'a été rédigée sur cet article pour le moment. Sois le premier à donner ton avis et aide les autres utilisateurs à prendre leur décision d'achat.

Écris un commentaire

Super ou nul ? Donne ton propre avis.

Pour les messages à CeDe.ch, veuillez utiliser le formulaire de contact.

Il faut impérativement remplir les champs de saisie marqués d'une *.

En soumettant ce formulaire, tu acceptes notre déclaration de protection des données.