@misc{Kossak_Roman_An_1980,
 author={Kossak, Roman},
 volume={28},
 editor={Polska Akademia Nauk.},
 editor={Państwowe Wydawnictwo Naukowe (1951–1992)},
 number={5-6},
 copyright={Rights Reserved - Restricted Access},
 address={Varsovie},
 howpublished={online},
 year={1980},
 publisher={Państwowe Wydawnictwo Naukowe},
 language={eng},
 title={An application of definable types of Peano's arithmetic},
 type={Text},
}