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!
Search Result 1

Introduction to higher order categorical logic / od Lambek, J.

Izdano 1994
Knjiga
View in Koha OPAC JU Central Library