|
Lectures on Mathematical Logic: Calculi for Derivations and Deductions v.2: Calculi for Derivations and Deductions Vol 2
|
| List Price: | £59.99 |
| Price: | £56.99 & eligible for FREE Super Saver Delivery on orders over £5. Details |
Availability: Usually dispatched within 24 hours
Dispatched from and sold by Amazon.co.uk
Product Description
This book looks at using logic in mathematics, particularly Gentzen's midsequent theorem and Herbrand's theorem for prenex formulas.
Product Details
- Amazon Sales Rank: #1679970 in Books
- Published on: 2000-05-30
- Original language: English
- Number of items: 1
- Binding: Hardcover
- 330 pages
Editorial Reviews
About the Author
Felscher; Walter University of Tubingen, Germany,
