Rechercher

Recherche générale

Courriel*This field is required.

Mot de passe*This field is required.

FondsMichael Wright Collection
380 en plus...
PièceMW0003739 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic - part II
PièceMW0003739 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic - part II (contd.)
PièceMW0003740 - 18/07/74 ISILC - Logic Conference, Kiel: Wayne Richter: On inductive definitions
PièceMW0003740 - 18/07/74 ISILC - Logic Conference, Kiel: Wayne Richter: On inductive definitions (contd.)
PièceMW0003741 - 01/08/74 ISILC - Logic Conference, Kiel: William W Boone: Decision problem for groups
PièceMW0003741 - 01/08/74 ISILC - Logic Conference, Kiel: H Rasiowa: On algebraic semantics for systems of multi-valued algorithmic languages
PièceMW0003742 - 01/08/74 ISILC - Logic Conference, Kiel: Lars Löfgren: On syntactic & semantic reductions of theories / Robert Fittler: Closed models & hulls of theories
PièceMW0003742 - 01/08/74 ISILC - Logic Conference, Kiel: Speaker tbc: On embedding of classical logic in S4 / 02/08/74: Morning talks
PièceMW0003743 - 02/08/74 ISILC - Logic Conference, Kiel: Survey of Martin-Löf type theory & related systems
7846 en plus...

Rapports

01/08/74 ISILC - Logic Conference, Kiel: William W Boone: Decision problem for groups

Il n'y a pas de rapports pertinents pour cet élément

Imprimé : 2026-04-18