Búsqueda

Búsqueda global

Correo electrónico*This field is required.

Contraseña*This field is required.

FondoMichael Wright Collection
385 más...
Unidad documental simpleMW0003741 - 01/08/74 ISILC - Logic Conference, Kiel: H Rasiowa: On algebraic semantics for systems of multi-valued algorithmic languages
Unidad documental simpleMW0003742 - 01/08/74 ISILC - Logic Conference, Kiel: Lars Löfgren: On syntactic & semantic reductions of theories / Robert Fittler: Closed models & hulls of theories
Unidad documental simpleMW0003742 - 01/08/74 ISILC - Logic Conference, Kiel: Speaker tbc: On embedding of classical logic in S4 / 02/08/74: Morning talks
Unidad documental simpleMW0003743 - 02/08/74 ISILC - Logic Conference, Kiel: Survey of Martin-Löf type theory & related systems
Unidad documental simpleMW0003743 - 02/08/74 ISILC - Logic Conference, Kiel: Morning talks
Unidad documental simpleMW0003744 - 02/08/74 ISILC - Logic Conference, Kiel: Franz von Kutschera: On linguistics & 'natural logic' / C Imbert: On history & methodology of logic
Unidad documental simpleMW0003744 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory (start) - Gaisi Takeuti et al.
Unidad documental simpleMW0003745 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory - Gaisi Takeuti, Justus Diller, Horst Luckhardt
Unidad documental simpleMW0003745 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory - Gaisi Takeuti, Justus Diller, Horst Luckhardt (contd.)
7841 más...

Informes

02/08/74 ISILC - Logic Conference, Kiel: Morning talks

No hay informes relevantes para este ítem

Imprimido: 2026-04-16