Természetes levezetés és szekvenslogika
Elmentve itt :
| Szerző: | |
|---|---|
| Adatforrás: | Philobibl |
| Forrásdokumentuma: | Tertium non datur 1.1984. p. 171-207. |
| Dokumentumtípus: | Cikk |
| Nyelv: | magyar |
| Kulcsszavak: | levezethetőség szekvens-kalkulus |
| LEADER | 00368nab a2200121 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. | |