Łukasz Czajka

Semantic consistency proofs for systems of illative combinatory logic

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Data nadania

18 czerwca 2015

Promotor

• prof. dr hab. Paweł Urzyczyn (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)

Recenzenci

• prof. dr hab. Marek Zaionc (Uniwersytet Jagielloński w Krakowie)
• prof. Herman Geuvers (Radboud University)

Dokumenty

• Rozprawa