dhr. F.M. (Frederik) Lauridsen MSc


  • Faculteit der Natuurwetenschappen, Wiskunde en Informatica
    ILLC
  • Bezoekadres
    Science Park 107
    Science Park 105  Amsterdam
  • Postadres:
    Postbus  94242
    1090 GE  Amsterdam
  • F.M.Lauridsen@uva.nl

2016

  • Bezhanishvili, N., Lauridsen, F. M., & Ghilardi, S. (2016). One-step Heyting algebras and hypersequent calculi with the bounded proof property. Journal of Logic and Computation[details]
This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications.
  • Geen nevenwerkzaamheden

contactgegevens bewerken bewerk tabbladen