Természetes levezetés és szekvenslogika

Bibliographic Details
Main Author: Szécsényi Tibor
source:Philobibl
Format: Article
Language:Hungarian