Lectures on Mathematical Logic, Volume II - Lecturers on Mathematical Logic - Walter Felscher - Books - Taylor & Francis Ltd - 9780367398583 - September 5, 2019
In case cover and title do not match, the title is correct

Walter Felscher
Lectures on Mathematical Logic, Volume II - Lecturers on Mathematical Logic 1st edition

Price
$ 101.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 24 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

330 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 5, 2019
ISBN13 9780367398583
Publishers Taylor & Francis Ltd
Pages 336
Dimensions 150 × 220 × 10 mm   ·   620 g
Language English  

More by Walter Felscher

Show all

Mere med samme udgiver

See all of Walter Felscher ( e.g. Paperback Book and Hardcover Book )