Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Browse
Archival descriptions
Authority records
Archival institutions
Functions
Subjects
Places
Digital objects

Search

Global search

Advanced search

Clipboard
- Clipboard
- Clear all selections
- Go to clipboard
- Load clipboard
- Save clipboard
Language
- Language
- English
- Français
- Español
- Nederlands
- Português
Quick links
- Quick links
- Home
- About
- Privacy Policy
- Help

Have an account?

Email*This field is required.

Password*This field is required.

FondsMichael Wright Collection
377 more...
ItemMW0003737 - 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
ItemMW0003738 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic
ItemMW0003738 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic (contd.)
ItemMW0003739 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic - part II
ItemMW0003739 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic - part II (contd.)
ItemMW0003740 - 18/07/74 ISILC - Logic Conference, Kiel: Wayne Richter: On inductive definitions
ItemMW0003740 - 18/07/74 ISILC - Logic Conference, Kiel: Wayne Richter: On inductive definitions (contd.)
ItemMW0003741 - 01/08/74 ISILC - Logic Conference, Kiel: William W Boone: Decision problem for groups
ItemMW0003741 - 01/08/74 ISILC - Logic Conference, Kiel: H Rasiowa: On algebraic semantics for systems of multi-valued algorithmic languages
7849 more...

Reports

30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic - part II (contd.)

There are no relevant reports for this item

Cancel

Printed: 2026-04-17