Provability logics for relative interpretability

Open Access
Authors
Publication date 1990
Host editors
  • P.P. Petkov
Book title Mathematical logic ( Proceedings of the Summer School and Conference on Mathematical Logic, honourably dedicated to the ninetieth anniversary of Arend Heyting (1898-1980) held September 13-23, 1988 in Chaÿæika (near Varna), Bulgaria )
ISBN
  • 030643511X
  • 9780306435119
Pages (from-to) 31-42
Publisher New York: Plenum Press
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
  • Faculty of Humanities (FGw)
Document type Conference contribution
Downloads
Permalink to this page
Back