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 |
| További adatokért lásd a Minden adat megjelenítése... fület |