Search
Now showing items 1-3 of 3
The double-incompleteness theorem
(Stiinca, Kishinev, 1976)
Let T be a strong enough theory, and M - its metatheory, both are consistent. Then there is a closed arithmetical formula H that is undecidable in T, but one cannot prove in M neither that H is T-unprovable, nor that H is ...
Sudrabaino mākoņu novērojumu žurnāls, 1976: Sigulda
(1976)
Digitalizēts mezosfēras mākoņu 1976. gada SIGULDAS novērojumu žurnāls: novērojumu sezonas naktis, novērotāji, MK identifikācija, meteoroloģiskā situācija, informācija par uzņemtajām fotogrāfijām. --//-- Mesospheric cloud ...