Erwin Engeler (born 13 February 1930) is a Swiss mathematician who did pioneering work on the interrelations between logic, computer science and… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2003

2003

- Paul Bernays, Steve Awodey
- 2003

The following remarks on the problems in the foundations of mathematics should serve to situate the Symposium on the Foundations… (More)

Is this relevant?

2001

2001

- Paul Bernays, Steve Awodey
- 2001

The following remarks on the problems in the foundations of mathematics should serve to situate the Symposium on the Foundations… (More)

Is this relevant?

1994

1994

The papers in this series are intended for internal use and are distributed by the author. Copies may be ordered from the library… (More)

Is this relevant?

1993

1993

- Erwin Engeler
- 1993

We present here because it will be so easy for you to access the internet service. As in this new era, much technology is… (More)

Is this relevant?

1987

1987

- John W. Gray
- ACM SIGSAM Bulletin
- 1987

As I was leaving Erwin Engeler's office at the ETH during the summer of 1985, he casually asked me if I had seen their… (More)

Is this relevant?