zoeken

Global search

E-mail*This field is required.

wachtwoord*This field is required.

ArchiefMichael Wright Collection
371 more...
StukMW0003734 - 24/07/74 Dana Scott
StukMW0003735 - 04/05/74 Michael Wright: On semantics of ITRs
StukMW0003735 - 04/05/74 Michael Wright: On semantics of ITRs
StukMW0003736 - 31/07/74 ISILC - Logic Conference, Kiel: afternoon
StukMW0003736 - 31/07/74 ISILC - Logic Conference, Kiel: afternoon (contd.)
StukMW0003737 - 30/07/74 ISILC - Logic Conference, Kiel: Jens Erik Fenstad: Part 1
StukMW0003737 - 30/07/74 ISILC - Logic Conference, Kiel: Jens Erik Fenstad: Part II / 31/07/74 Jens Erik Fenstad: On intuitionism & proof theory / Michael Wright: notes
StukMW0003738 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic
StukMW0003738 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic (contd.)
7855 more...

Reports

31/07/74 ISILC - Logic Conference, Kiel: afternoon (contd.)

There are no relevant reports for this item

Printed: 2026-04-16