pra
Korpus Języka Polskiego PWN
Autentyczne przykłady użycia w piśmie i mowie zgromadzone w Korpusie
- ... niezależnie Reuben L. Goodstein (19121985) zbudowali czysto równościowy system PRA arytmetyki pierwotnie rekurencyjnej (nazywanej też dziś arytmetyką Skolema), w której...
- ... finitystycznych. Ostatnio (1981) W. W. Tait sformułował tezę, że system PRA jest systemem, który adekwatnie formalizuje wszystkie metody finitystyczne.
Matematyka finitystyczna... - ... rytm
i poszli naprzód: lewa, prawa, lewa, prawa, le-wa, pra-wa.
Szli niczym dwaj niedołężni starcy. Krok za krokiem, chwiejąc...
