|
|
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