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!
Opis
Fizični opis:x, 293p.; 23cm.
Bibliografija:Includes Index.
ISBN:0521356539