Selected papers in proof theory /
| Hlavní autor: |
Minc, Grigorij Jefimovič, 1939-2014
(
Autor )
|
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Napoli : Amsterdam :
Bibliopolis ; North-Holland,
[1992].
|
| Edice: |
Studies in proof theory (Bibliopolis)
|
| Předmět: | |
|
|