Recently Viewed

New

Lectures on Mathematical Logic, Volume II by Walter Felscher 9780367398583

No reviews yet Write a Review
RRP: $122.83
Booksplease Price: $109.04
Booksplease saves you 11%

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

  FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:
9780367398583
MPN:
9780367398583
Available from Booksplease!
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Availability: Usually dispatched within 5 working days

Frequently Bought Together:

Total: Inc. VAT
Total: Ex. VAT

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.

About the Author
Felscher, Walter


Book Information
ISBN 9780367398583
Author Walter Felscher
Format Paperback
Page Count 336
Imprint CRC Press
Publisher Taylor & Francis Ltd
Weight(grams) 620g

Reviews

No reviews yet Write a Review

Booksplease  Reviews