"MATHEMATICS Infinity." . . "Lògica matemàtica." . . "Théorie de la démonstration." . . "Preuve, Théorie de la." . . "theorie preuve." . . "Théorie de la preuve." . . "Beweistheorie." . . "MATHEMATICS Logic." . . "Demostración, Teoría de la." . . "Funcions recursives." . . "Teoria della dimostrazione." . . "Preuve, Théorie de la Guides, manuels, etc." . . "Electronic books." . . "Beweis (Math.) Mathematische Logik." . . "Logica." . . "Mathematische Logik Beweis (Math.)" . . "Teoria dowodu." . . "Teoria de conjunts." . . . . "Prueba, Teoría de la Libros electrónicos." . . "Proof theory." . . "Proof theory" . "Bizonyításelmélet." . . "Teoria de la prova." . . . . . . . . . . . . . . . . . . . . . "Llibres electrònics" . . . . . . . . . . "Electronic books"@en . "Electronic books" . . . . . . . . . . "Handbook of proof theory"@en . "Handbook of proof theory" . "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. PThe 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." . "Aufsatzsammlung" . . . . . . . . . . . . . . . "Handbook of Proof Theory. Studies in Logic and the Foundations of Mathematics, Volume 137" . . . . "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." . "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."@en . "Bewijstheorie." . .