Logikai alapozás alkalmazásokhoz matematikai logika - számítástudomány
Elmentve itt :
| Szerző: | |
|---|---|
| Testületi szerző: | |
| Adatforrás: | Philobibl |
| Dokumentumtípus: | Könyv |
| Nyelv: | magyar |
| Kulcsszavak: | matematikai logika szimbolikus logika |
| Megjelent: |
Budapest
Eötvös Loránd Tudományegyetem
1997
|
| Kiadás: | 2., jav. kiad. |
| LEADER | 00574cam a2200157 c 4500 | ||
|---|---|---|---|
| 001 | bibPHI0041493 | ||
| 005 | 20200924124541.9 | ||
| 008 | 200924s1997 hu d 1 hun d | ||
| 100 | 2 | |a Pásztorné Varga Katalin | |
| 245 | 1 | 0 | |a Logikai alapozás alkalmazásokhoz |b matematikai logika - számítástudomány |c Pásztorné Varga Katalin |
| 250 | |a 2., jav. kiad. | ||
| 260 | |a Budapest |b Eötvös Loránd Tudományegyetem |c 1997 | ||
| 300 | |a 240 p. | ||
| 695 | |a matematikai logika | ||
| 695 | |a szimbolikus logika | ||
| 710 | 2 | |a Eötvös Loránd Tudományegyetem (Budapest) |b Természettudományi Kar | |