Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Browse
Browse
Archival descriptions
Authority records
Archival institutions
Functions
Subjects
Places
Digital objects
Search
Search options
Global search
Advanced search
Search in browse page
Clipboard
Clipboard
Clipboard
Clear all selections
Go to clipboard
Load clipboard
Save clipboard
Language
Language
Language
English
Français
Español
Nederlands
Português
Quick links
Quick links
Quick links
Home
About
Privacy Policy
Help
Log in
Have an account?
Email
*
This field is required.
Password
*
This field is required.
Log in
Holdings
Quick search
Fonds
Michael Wright Collection
385 more...
Item
MW0003741 - 01/08/74 ISILC - Logic Conference, Kiel: H Rasiowa: On algebraic semantics for systems of multi-valued algorithmic languages
Item
MW0003742 - 01/08/74 ISILC - Logic Conference, Kiel: Lars Löfgren: On syntactic & semantic reductions of theories / Robert Fittler: Closed models & hulls of theories
Item
MW0003742 - 01/08/74 ISILC - Logic Conference, Kiel: Speaker tbc: On embedding of classical logic in S4 / 02/08/74: Morning talks
Item
MW0003743 - 02/08/74 ISILC - Logic Conference, Kiel: Survey of Martin-Löf type theory & related systems
Item
MW0003743 - 02/08/74 ISILC - Logic Conference, Kiel: Morning talks
Item
MW0003744 - 02/08/74 ISILC - Logic Conference, Kiel: Franz von Kutschera: On linguistics & 'natural logic' / C Imbert: On history & methodology of logic
Item
MW0003744 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory (start) - Gaisi Takeuti et al.
Item
MW0003745 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory - Gaisi Takeuti, Justus Diller, Horst Luckhardt
Item
MW0003745 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory - Gaisi Takeuti, Justus Diller, Horst Luckhardt (contd.)
7841 more...
Search
Reports
02/08/74 ISILC - Logic Conference, Kiel: Morning talks
Reports
There are no relevant reports for this item
Cancel