Természetes levezetés és szekvenslogika

Bibliographic Details
Main Author:	Szécsényi Tibor
source:	Philobibl
source_doc:	Tertium non datur 1.1984. p. 171-207.
Format:	Article
Language:	Hungarian
Keywords:	levezethetőség szekvens-kalkulus

Description
Description not available.

Similar Items