A Curry-Howard-izomorfizmus alkalmazása az implikacionális logikák bizonyításainak normalizációjában
  • Metaadatok
Tartalom: http://hdl.handle.net/10890/63677
Archívum: Műegyetem Digitális Archívum
Gyűjtemény: 8. Diplomatervek, Szakdolgozatok
Természettudományi Kar (TTK)
Cím:
A Curry-Howard-izomorfizmus alkalmazása az implikacionális logikák bizonyításainak normalizációjában
Létrehozó:
Mezei, Szabolcs Szilárd
Dátum:
2025-08-29T09:12:14Z
2019
Nyelv:
magyar
Típus:
Szakdolgozat, diplomamunka
Formátum:
application/pdf
Azonosító: