Bizonyításelmélet II.: Algebrai bizonyítási logika
| dc.date.accessioned | 2026-01-11T06:33:14Z | |
| dc.identifier.neptun | BMA-LOTD-329.04 | |
| dc.identifier.uri | https://eltetanrep.dspace.testing.qulto.eu/handle/123456789/34501 | |
| dc.title | Bizonyításelmélet II.: Algebrai bizonyítási logika | |
| dspace.entity.type | Course | |
| education.institute | BTK Filozófia Intézet | |
| relation.isInstituteOfCourse | 99251703-5095-461a-912a-e5d96d208c74 | |
| relation.isInstituteOfCourse.latestForDiscovery | 99251703-5095-461a-912a-e5d96d208c74 |