Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Blader
Blader
archivistische beschrijving
geautoriseerd bestand
archiefinstelling
Functies
Onderwerpen
Plaatsen
Digitale objecten
zoeken
Search options
Global search
Advanced search
Search in browse page
Clipboard
Clipboard
Clipboard
Clear all selections
Go to clipboard
Load clipboard
Save clipboard
Taal
Taal
Taal
English
Français
Español
Nederlands
Português
Quick links
Quick links
Quick links
home
Over
Privacy Policy
Help
Inloggen
Have an account?
E-mail
*
This field is required.
wachtwoord
*
This field is required.
Inloggen
Bestanden
Quick search
Archief
Michael Wright Collection
287 more...
Stuk
MW0000975 - 30-31/07/74 International Summer Institute and Logic Colloquium, Kiel: Jörg Flum: last lecture of course (contd.) / 31/07/74 seminar on Martin-Löf's intuitionism & proof theory
Stuk
MW0000976 - 30/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad (part II)
Stuk
MW0000976 - 31/07/74 International Summer Institute and Logic Colloquium, Kiel: seminar on Martin-Löf's intuitionism & proof theory
Stuk
MW0000977 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad II (i): Computation structures & structure-preserving mappings
Stuk
MW0000977 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad II (ii): Computation structures & structure-preserving mappings
Stuk
MW0000978 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad I (i)
Stuk
MW0000978 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad I (ii)
Stuk
MW0000979 - 30/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (final lecture)
Stuk
MW0000979 - 30-31/07/74 International Summer Institute and Logic Colloquium, Kiel: Dag Prawitz: Proof theory
7939 more...
zoeken
Reports
29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad II (ii): Computation structures & structure-preserving mappings
Reports
There are no relevant reports for this item
Verwijderen