| ID |
http://data.europa.eu/8mn/euroscivoc/ea52495a-6353-47ee-ba16-796f9567471c |
|
| Preferred Name |
mathematical logic |
|
| Synonyms |
model theory proof theory set theory |
|
| In Schemes | ||
| Type |
http://www.w3.org/2004/02/skos/core#Concept |
| Delete | Subject | Subject Sort | Archive Sort | Author | Type | Created | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| No notes to display | ||||||||||||