Lectures On Mathematical Logic Volume Ii Calculi For Derivations And Deductions

57a08fef3aae8.jpg Author Walter Felscher
Isbn 9789056992675
File size 3.1 MB
Year 2015
Pages 330
Language English
File format PDF
Category Mathematics

Book Description:

In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "sequents" in the technical terminology, the transformations between them can be expressed as logical rules. The book concludes with the algorithms producing the results of Gentzen's midsequent theorem and Herbrand's theorem for prenex formulas.


Download (3.1 MB)

No Comments

Leave a Reply

Your email address will not be published. Required fields are marked *