Természetes levezetés és szekvenslogika
| Main Author: | |
|---|---|
| source: | Philobibl |
| source_doc: | Tertium non datur 1.1984. p. 171-207. |
| Format: | Article |
| Language: | Hungarian |
| Keywords: | levezethetőség szekvens-kalkulus |
MARC
| LEADER | 00000nab a2200000 c 4500 | ||
|---|---|---|---|
| 001 | bibPHI0039108 | ||
| 005 | 20200924124121.7 | ||
| 008 | 100909s1984 hu hun | ||
| 100 | 1 | |a Szécsényi Tibor | |
| 245 | 1 | 0 | |a Természetes levezetés és szekvenslogika |c Szécsényi Tibor |
| 695 | |a levezethetőség | ||
| 695 | |a szekvens-kalkulus | ||
| 773 | 0 | |t Tertium non datur |g 1.1984. p. 171-207. | |