Formalizirovannyj i konstruktivistskij podchod k probleme istinnosti v matematičeskoj logike /
Uložené v:
| Hlavný autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | Russian |
| Vydané: |
Saratov :
Saratovskij universitet,
1964.
|
| Fyzický popis: |
26 strán. |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý kto otaguje tento záznam!
|
Titul je dostupný aj v ... 