Introduction to higher order categorical logic /

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Lambek, J.
Format: Knjiga
Jezik:angleščina
Izdano: Cambridge : Univ. Pr, 1994.
Teme:
Oznake: Označite
Brez oznak, prvi označite!