Bizonyításelmélet I.: Bevezetés a nem-klasszikus logikákba

dc.date.accessioned2026-04-01T02:27:00Z
dc.identifier.neptunBMA-LOTD-328.05
dc.identifier.urihttps://eltetanrep.dspace.testing.qulto.eu/handle/123456789/72433
dc.titleBizonyításelmélet I.: Bevezetés a nem-klasszikus logikákba
dspace.entity.typeCourse

Files

Collections

© 2026 Eötvös Loránd University
All rights reserved