Ambroszkiewicz, Stanisław. <br/><br/>
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 .
<br/><br/> 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ś. 
<br/><br/>Bibliogr. s. 69-72. 
<br/><br/> Na prawach rękopisu. 
<br/><br/><br/>Streszcz. pol. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoria typów (logika matematyczna).<br/>Funkcje (matematyka).<br/>Podstawy matematyki.