Tableaukalkül und entscheidbare Formelkassen : ein Beitrag zum Entscheidungsproblem der Logik
Mentés helye:
| Szerző: | |
|---|---|
| Formátum: | könyv |
| Nyelv: | német |
| Megjelenés: |
München : [der Verfasser],
1988
|
| Tárgyszavak: | |
| Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
Egyetemi Könyvtár és Levéltár
| Jelzet: | Leltári szám: | Gyűjtemény: | Státusz: |
|---|---|---|---|
| 218221 | 218221 | EK raktár 6 | Kölcsönözhető Előjegyzés, kikérés |