RelBib: Teorema dedukcii dlja vsech sistem

https://www.relbib.de/Record/1816074349