TY  - BOOK
AU  - Ambroszkiewicz,Stanisław
ED  - Polska Akademia Nauk.
TI  - Types and operations
T2  - Prace IPI PAN =
PY  - 2014///
CY  - Warszawa
PB  - Instytut Podstaw Informatyki Polskiej Akademii Nauk
KW  - Teoria typów (logika matematyczna)
KW  - kaba
KW  - Funkcje (matematyka)
KW  - Podstawy matematyki
N1  - Praca wydana w czasopiśmie: Prace IPI PAN / Instytut Podstaw Informatyki Polskiej Akademii Nauk ; nr 1030; Na k. tyt.: The work is dedicated to the memory of Professor Jerzy Łoś; Bibliogr. s. 69-72; Na prawach rękopisu
ER  -