Az eldöntésprobléma visszavezetése logikai formulák véges halmazon való kielégíthetőségének kérdésére
  • Metaadatok
Tartalom: https://real.mtak.hu/209491/
Archívum: REAL
Gyűjtemény: Status = Published
Subject = B Philosophy. Psychology. Religion / filozófia, pszichológia, vallás: BC Logic / logika
Subject = Q Science / természettudomány: QA Mathematics / matematika
Type = Book Section
Cím:
Az eldöntésprobléma visszavezetése logikai formulák véges halmazon való kielégíthetőségének kérdésére
Létrehozó:
Kalmár, László
Kiadó:
Akadémiai Nyomda
Dátum:
1952
Téma:
BC Logic / logika
QA Mathematics / matematika
Nyelv:
magyar
Típus:
Book Section
NonPeerReviewed
info:eu-repo/semantics/bookPart
Formátum:
text
Azonosító:
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.
Kapcsolat:
MTMT:35492850