Natural deduction: A proof-theoretical study

Main
Mathematics - Logic
Natural deduction: A proof-theoretical...

Natural deduction: A proof-theoretical study

Name: Natural deduction: A proof-theoretical study
ISBN: 9780486446554

Dag Prawitz

0 / 0

0 comments

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.

Категории:

Mathematics - Logic

Година:

2006

Издателство:

Dover Publications

Език:

english

Страници:

115

ISBN 10:

0486446557