Lectures on Mathematical Logic, Volume II (Paperback)

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.

General

Imprint:	Crc Press
Country of origin:	United Kingdom
Series:	Lecturers on Mathematical Logic
Release date:	September 2019
First published:	2000
Authors:	Walter Felscher
Dimensions:	229 x 152mm (L x W)
Format:	Paperback
Pages:	330
ISBN-13:	978-0-367-39858-3
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory Books > Science & Mathematics > Mathematics > Calculus & mathematical analysis > Vector & tensor analysis Books > Science & Mathematics > Mathematics > Applied mathematics > General
LSN:	0-367-39858-3
Barcode:	9780367398583

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!