Latvijas Nacionālās bibliotēkas autoritatīvā datubāze | |||||||||||||||||
Reģistrēties | | | Beigt darbu | | | Lietotājs | | | Datubāzes | | | Komentāri | | | Palīdzība | |||||||
Pārlūkošana | | | Meklēšana | | | Rezultātu saraksts | | | Iepriekšējie meklējumi | | | Mans e-plaukts | | | English | |||||||
Pievienot e-Plauktam | | | Saglabāt/Sūtīt | | |
Pilns ieraksts
Formāta izvēle: | Standarta | MARC |
Sistēmas nr. | 000137654 |
Priekšmets | Pierādījuma teorija |
Norāde | Proof theory [eng] |
Todistusteoria [fin] | |
Plašāks termins | Simboliskā un matemātiskā loģika |
Šaurāks termins | Nepilnības teorēmas |
Saist. ieraksts |
Proof theory [LCSH] http://id.loc.gov/authorities/subjects/sh85107437 |
Proof theory [FAST] http://id.worldcat.org/fast/1078942 |
|
proof theory [Wikidata] https://www.wikidata.org/wiki/Q852732 |
|
todistusteoria [YSO] http://www.yso.fi/onto/yso/p455 |
Formāta izvēle: | Standarta | MARC |
© 2014 Ex Libris