Term logic with choice operator

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Hermes, Hans (Dahkki)
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Almmustuhtton: Berlín Springer-Verlag 1970
Ráidu:Lecture Notes in Mathematics, 6
Fáttát:
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Biblioteca de Matemática -

oažžasuvvan: Biblioteca de Matemática -
Hildobáiki: 511.3 HER 1970
Njađus 1496662 Oažžumis Daga várrema