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.
| ISBN: | 9789056992675 |
| Publication date: | 30th May 2000 |
| Author: | Walter Felscher |
| Publisher: | Taylor & Francis Ltd |
| Format: | Hardback |
| Pagination: | 330 pages |
| Series: | Lecturers on Mathematical Logic |
| Genres: |
Discrete mathematics Set theory |
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.
Lectures on Mathematical Logic, Volume II features in the following genres: Discrete mathematics, Set theory
Ebook, Hardback. £131.39, down from the £145.99 cover price. Not Available.
Lectures on Mathematical Logic, Volume II was written by Walter Felscher and published by Taylor & Francis Ltd
Lectures on Mathematical Logic, Volume II has 330 pages
Yes it is part of Lecturers on Mathematical Logic series
£131.39, reduced from £145.99. Not Available.