Herbrand tétele
Herbrand struktúrák; Herbrand tétele; az elsőrendű logika kompaktsági tétele és következményei
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Videó |
| Megjelent: |
2020
|
| Kulcsszavak: | logika |
| Tárgyszavak: | |
| Online Access: | http://eta.bibl.u-szeged.hu/2781 |
| Tartalmi kivonat: | Herbrand struktúrák; Herbrand tétele; az elsőrendű logika kompaktsági tétele és következményei |
|---|