Teorema dedukcii dlja vsech sistem
Теорема дедукции для всех систем
Main Author: | |
---|---|
Format: | Print Article |
Language: | Russian |
Check availability: | HBZ Gateway |
Fernleihe: | Fernleihe für die Fachinformationsdienste |
Published: |
IFRAN
1999
|
In: |
Smirnovskie čtenija
Year: 1999, Pages: 66-69 |
ISBN: | 5201020054 |
---|---|
Contains: | Enthalten in: Smirnovskie čtenija
|