Teorema dedukcii dlja vsech sistem

Теорема дедукции для всех систем
Saved in:  
Bibliographic Details
Main Author: Sidorenko, E. A. (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