Käsitesivu
YSO-käsite: matemaattinen logiikka
Kohdetiedot
| altLabel | logistiikka -- logiikka, symbolinen logiikka, symbolisk logik |
| definedConcept | Y3220 |
| liittyy | malliteoria |
| nimi | matemaattinen logiikka, matematisk logik, mathematical logic |
| on sama kuin | Matemaattinen logiikka |
| prefLabel | matemaattinen logiikka, matematisk logik, mathematical logic |
| vastaa | p15194 |
| yläluokka | logiikka |
