Zielonka, Wojciech. (Hasło osobowe)

Number of records used in: 1

Preferred form: Zielonka, Wojciech.

Logika matematyczna, lingwistyka matematyczna, gramatyki kategorialne.

Aksjomatyzowalność pewnych wariantów rachunku typów synktatycznych Lambeka jako systemów redukcyjnych / Wojciech Zielonka. - Olsztyn, 2012.

OPI online