Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Décidabilité (logique mathématique) --- Logique mathematique --- Theorie de la preuve --- Logique mathematique --- Theorie de la preuve

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.

The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.

Logica. --- Proof theory. --- Théorie de la preuve --- Proof theory --- Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- 510.6 --- 510.6 Mathematical logic --- Logique mathématique --- Logique mathematique --- Theorie de la preuve

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Proof theory. --- Automatic theorem proving. --- Théorie de la preuve --- Théorèmes --- Démonstration automatique --- Théorie de la preuve --- Théorèmes --- Démonstration automatique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer. Automation --- Mathematics --- 510.2 --- AUTOMATH (Formal language) --- Formal languages --- Mathematical notation --- Foundations of mathematics --- AUTOMATH (Formal language). --- 510.2 Foundations of mathematics --- Analyse combinatoire --- Logique mathematique --- Linguistique mathematique --- Theorie de la preuve