Справочная книга по математической логике
Настоящее издание состоит из четырех книг: " Теория моделей". "Теория множеств", " Теория рекурсии", "Теория доказательств и конструктивная математика"....
Sábháilte in:
Príomhchruthaitheoirí: | , , |
---|---|
Formáid: | LEABHAR |
Foilsithe / Cruthaithe: |
НБ СевКавГТУ
|
Ábhair: | |
Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|