Admissibility of logical inference rules
Vladimir V. Rybakov
Bok Engelsk 1997 V.V. Rybakov
Utgitt | Amsterdam : Elsevier , 1997
|
---|---|
Omfang | 617 s. : fig.
|
Emner | |
ISBN | 0444895051
|
Utgitt | Amsterdam : Elsevier , 1997
|
---|---|
Omfang | 617 s. : fig.
|
Emner | |
ISBN | 0444895051
|