Combinators,lambda-terms and proof theory

Main
Mathematics
Combinators,lambda-terms and proof...

Combinators,lambda-terms and proof theory

Name: Combinators,lambda-terms and proof theory
ISBN: 9789027703057

Soren Stenlund

0 / 0

0 comments

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own. Some of the material in chapter 1 and 3 has already appeared in my notes Introduction to Combinatory Logic. It appears here in revised form since the presentation in my notes is inaccurate in several respects.

カテゴリー:

Mathematics

年:

1972

出版社:

D Reidel

言語:

english

ページ:

187

ISBN 10:

9027703051