ENGLISH

Combinatory Reduction Systems [PhD Thesis]

By Jan Willem Klop

Book information

Publisher
Mathematisch Centrum
Year
1980
Language
english
Format
DJVU
Filesize
3 MB (3537757 bytes)
Pages
341\341
Topic
Mathematics Logic
Library
Envoy
DPI
600
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2015-01-19 21:02:20

Description

This thesis was written while I was employed half be the Mathematical Institute and half by the 'Centrale Interfaculteit' of the University of Utrecht, from 1975 to 1979. It was a privilege to be a promovendus in the Logic department of Professor Dirk van Dalen, and those years will remain a dear memory because of the enjoyable and stimulating working conditions he created there. Apart from that, it is my pleasure to express my deep gratitude to him for the general guidance of my work and for the numerous detailed improvements that he suggested in an earlier draft of the text.

Similar books