Lectures on Mathematical Logic, Volume II

Name: Lectures on Mathematical Logic, Volume II
Brand: CRC Press
Availability: OutOfStock
Rating: 5 (1 reviews)

By Walter Felscher

0 - Used - good

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.

Product details

Edition:: 1
Languages:: Original: English
Number of Pages:: 336
Publisher:: CRC Press
Publication Date:: 2000-05-30
Release Date:: 2000-06-01
ISBN / EAN:: 9789056992675
Weight:: 669 g
Dimensions:: 16/24/2 cm
GPSR Manufacturer Reference:: [email protected]

Buy on Amazon

Currently sold out

Add to Wishlist