Lectures on Mathematical Logic, Volume II |
|
| Author:
| Felscher, Walter |
| ISBN: | 978-90-5699-267-5 |
| Publication Date: | May 2000 |
| Publisher: | CRC Press LLC
|
| Book Format: | Hardback |
| List Price: | USD $145.00 |
Book Description:
|
This book looks at using logic in mathematics, particularly Gentzen's midsequent theorem and Herbrand's theorem for prenex formulas.
This book looks at using logic in mathematics, particularly Gentzen's midsequent theorem and Herbrand's theorem for prenex formulas.