Lectures on Mathematical Logic, Volume II
Book Details
Format
Hardback or Cased Book
Book Series
Lecturers on Mathematical Logic
ISBN-10
9056992678
ISBN-13
9789056992675
Publisher
Taylor & Francis Ltd
Imprint
Taylor & Francis Ltd
Country of Manufacture
GB
Country of Publication
GB
Publication Date
May 30th, 2000
Print length
330 Pages
Weight
726 grams
Ksh 26,300.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
Starting from the observation that in everyday arguments statements are transformed linguistically, connecting them in formal ways irrespective of their contents, this text presents such arguments as deductive situations, or "sequents" in the technical terminology. It shows how the transformations between them can be expressed as logical rules.
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.
Get Lectures on Mathematical Logic, Volume II by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Taylor & Francis Ltd and it has pages.
