Bizonyításelmélet I.: Bevezetés a nem-klasszikus logikákba
| dc.date.accessioned | 2026-04-01T02:27:00Z | |
| dc.identifier.neptun | BMA-LOTD-328.05 | |
| dc.identifier.uri | https://eltetanrep.dspace.testing.qulto.eu/handle/123456789/72433 | |
| dc.title | Bizonyításelmélet I.: Bevezetés a nem-klasszikus logikákba | |
| dspace.entity.type | Course |