Шрайнер П.А. О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями / П. А. Шрайнер, 1998. - 21 с. - Текст : непосредственный.
Шрайнер П.А. Основы программирования на языке Пролог / П. А. Шрайнер, 2005. - 173 с. с. - Текст : непосредственный.
Шрайнер П.А. Интерполяция и определимость в логиках конечных областей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / П. А. Шрайнер, 1998. - 16 с. - Текст : непосредственный.
Сосновская Н.В. Программирование на языке Турбо Паскаль : Учеб. пособие / Н.В.Сосновская,П.А.Шрайнер, 2002. - 191 с. - Текст : непосредственный.
Шрайнер П. А. Основы программирования на языке Пролог : Учебное пособие / Шрайнер П. А., 2024. - 212 с. - Текст : электронный.