Kalmár, László (1952) Az eldöntésprobléma visszavezetése logikai formulák véges halmazon való kielégíthetőségének kérdésére. In: Az Első Magyar Matematikai Kongresszus közleményei. Akadémiai Nyomda, Budapest, pp. 163-190.
|
Text
Kalmar_30_AkademiaiKiado_006087.pdf - Published Version Download (19MB) | Preview |
| Item Type: | Book Section |
|---|---|
| Subjects: | B Philosophy. Psychology. Religion / filozófia, pszichológia, vallás > BC Logic / logika Q Science / természettudomány > QA Mathematics / matematika |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 13 Nov 2024 19:45 |
| Last Modified: | 13 Nov 2024 19:45 |
| URI: | https://real.mtak.hu/id/eprint/209491 |
Actions (login required)
 |
Edit Item |
