Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Advances in Natural Deduction

A Celebration of Dag Prawitz's Work

Advances in Natural Deduction( )
Editor: Pereira, Luiz Carlos
Haeusler, Edward Hermann
de Paiva, Valeria
Series title:Trends in Logic Ser.
ISBN:978-94-007-7547-3
Publication Date:Mar 2014
Publisher:Springer Netherlands
Imprint:Springer
Book Format:Hardback
List Price:USD $139.99
Book Description:

This collection of original papers by celebrated figures in the field of natural deduction honors the ground-breaking work of Swedish logician Dag Prawits. It provides a wide-ranging survey of the latest research in proof theory and its many applications.

Book Details
Pages:279
Detailed Subjects: Mathematics / Logic
Physical Dimensions (W X L X H):6.045 x 9.165 Inches
Book Weight:12.494 Pounds



Featured Books

I Love You Through and Through
Rossetti-Shustak, Bernadette
Board book: $8.99
What Have We Here?
Williams, Billy Dee
Hardback: $32.00
Angels Fall
Roberts, Nora
Paperback: $16.99

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.