Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Parcourir
Parcourir
Descriptions archivistiques
Notices d'autorité
Services d'archives
Fonctions
Sujets
Lieux
Documents numériques
Rechercher
Search options
Recherche générale
Recherche avancée
Search in browse page
Presse-papier
Presse-papier
Presse-papier
Effacer toutes les sélections
Aller au presse-papier
Charge le presse-papier
Sauvegarder le presse-papier
Langue
Langue
Langue
English
Français
Español
Nederlands
Português
Liens rapides
Liens rapides
Liens rapides
Accueil
À propos
Politique de confidentialité
Aide
Ouverture de session
Avez-vous un compte ?
Courriel
*
This field is required.
Mot de passe
*
This field is required.
Ouverture de session
Fonds
Recherche rapide
Fonds
Michael Wright Collection
385 en plus...
Pièce
MW0003741 - 01/08/74 ISILC - Logic Conference, Kiel: H Rasiowa: On algebraic semantics for systems of multi-valued algorithmic languages
Pièce
MW0003742 - 01/08/74 ISILC - Logic Conference, Kiel: Lars Löfgren: On syntactic & semantic reductions of theories / Robert Fittler: Closed models & hulls of theories
Pièce
MW0003742 - 01/08/74 ISILC - Logic Conference, Kiel: Speaker tbc: On embedding of classical logic in S4 / 02/08/74: Morning talks
Pièce
MW0003743 - 02/08/74 ISILC - Logic Conference, Kiel: Survey of Martin-Löf type theory & related systems
Pièce
MW0003743 - 02/08/74 ISILC - Logic Conference, Kiel: Morning talks
Pièce
MW0003744 - 02/08/74 ISILC - Logic Conference, Kiel: Franz von Kutschera: On linguistics & 'natural logic' / C Imbert: On history & methodology of logic
Pièce
MW0003744 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory (start) - Gaisi Takeuti et al.
Pièce
MW0003745 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory - Gaisi Takeuti, Justus Diller, Horst Luckhardt
Pièce
MW0003745 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory - Gaisi Takeuti, Justus Diller, Horst Luckhardt (contd.)
7841 en plus...
Rechercher
Rapports
02/08/74 ISILC - Logic Conference, Kiel: Morning talks
Rapports
Il n'y a pas de rapports pertinents pour cet élément
Annuler