Introduction to higher order categorical logic

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