Types and operations /
Stanisław Ambroszkiewicz.
- Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2014.
- 72 s. : il. ; 21 cm.
- Prace IPI PAN = ICS PAS Reports, 1030 0138-0648 ; .
- Prace IPI PAN 1030 .
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.
Streszcz. pol.
Teoria typów (logika matematyczna). Funkcje (matematyka). Podstawy matematyki.