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
388 more...
Stuk
MW0003743 - 02/08/74 ISILC - Logic Conference, Kiel: Survey of Martin-Löf type theory & related systems
Stuk
MW0003743 - 02/08/74 ISILC - Logic Conference, Kiel: Morning talks
Stuk
MW0003744 - 02/08/74 ISILC - Logic Conference, Kiel: Franz von Kutschera: On linguistics & 'natural logic' / C Imbert: On history & methodology of logic
Stuk
MW0003744 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory (start) - Gaisi Takeuti et al.
Stuk
MW0003745 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory - Gaisi Takeuti, Justus Diller, Horst Luckhardt
Stuk
MW0003745 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory - Gaisi Takeuti, Justus Diller, Horst Luckhardt (contd.)
Stuk
MW0003746 - 03/08/74 ISILC - Logic Conference, Kiel: Contributed papers
Stuk
MW0003746 - 03/08/74 ISILC - Logic Conference, Kiel: Contributed papers (contd.)
Stuk
MW0003747 - 03/08/74 ISILC - Logic Conference, Kiel: Contributed papers
7838 more...
zoeken
Reports
02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory - Gaisi Takeuti, Justus Diller, Horst Luckhardt
Reports
There are no relevant reports for this item
Verwijderen