Showing 35 results

Archivistische beschrijving

ISILC - Logic Conference

Print preview

Card view Table view

19/07/74 ISILC - Logic Conference, Kiel: William Boos: On large cardinal axioms / Michael Wright: On ITRs

MW0003725 · Stuk

Part of Michael Wright Collection

19/07/74 ISILC - Logic Conference, Kiel: William Boos: On large cardinal axioms (contd.)

MW0003726 · Stuk

Part of Michael Wright Collection

19/07/74 ISILC - Logic Conference, Kiel: Wayne Richter: The least ∑ 12 and ∏ 12 reflecting ordinals

MW0003728 · Stuk

Part of Michael Wright Collection

31/07/74 ISILC - Logic Conference, Kiel: afternoon (contd.)

MW0003736 · Stuk

Part of Michael Wright Collection

01/08/74 ISILC - Logic Conference, Kiel: Speaker tbc: On embedding of classical logic in S4 / 02/08/74: Morning talks

MW0003742 · Stuk

Part of Michael Wright Collection

02/08/74 ISILC - Logic Conference, Kiel: Survey of Martin-Löf type theory & related systems

MW0003743 · Stuk

Part of Michael Wright Collection

02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory (start) - Gaisi Takeuti et al.

MW0003744 · Stuk

Part of Michael Wright Collection

23/07/74 ISILC - Logic Conference, Kiel: Jörg Flum

MW0003756 · Stuk

Part of Michael Wright Collection

19/07/74 ISILC - Logic Conference, Kiel: William Boos: On large cardinal axioms

MW0003726 · Stuk

Part of Michael Wright Collection

30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic (contd.)

MW0003738 · Stuk

Part of Michael Wright Collection