Spravočnaja kniga po matematičeskoj logike. V 4-ch častjach. Tom 4. : Teorija dokazateľstv i konstruktivnaja matematika.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Slovak |
| Published: |
Moskva,
1983.
|
| Edition: | 1. izdanije |
| Physical Description: |
388 strán. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Titul je dostupný aj v ... 