zoeken

Global search

E-mail*This field is required.

wachtwoord*This field is required.

ArchiefMichael Wright Collection
397 more...
StukMW0003747 - 03/08/74 ISILC - Logic Conference, Kiel: Contributed papers (contd.)
StukMW0003748 - 03/08/74 ISILC - Logic Conference, Kiel: Ernst Specker's paper / MW notes & reflecs
StukMW0003748 - 07/08/74 MW notes & reflecs
StukMW0003749 - 20/07/74 ISILC - Logic Conference, Kiel: Peter Krauss: Quantifier elimination
StukMW0003749 - 22/07/74 ISILC - Logic Conference, Kiel: Jörg Flum: First-order logic and its extensions
StukMW0003750 - 23/05/74 Michael Wright & Wilson on Lewis & possible worlds
StukMW0003750 - 23/05/74 Oxford GR & Cosmology Seminar: Speakers tbc.
StukMW0003751 - 31/05/74 Oxford Logic Seminar: Set theories incorporating Hilbert's E-symbol
StukMW0003751 - 31/05/74 Oxford Logic Seminar: Set theories incorporating Hilbert's E-symbol (contd.)
7829 more...

Reports

22/07/74 ISILC - Logic Conference, Kiel: Jörg Flum: First-order logic and its extensions

There are no relevant reports for this item

Printed: 2026-04-16