A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Pogorzelski, Witold A., Wstep do Logiki Matematycznej (1974) |
| Pogorzelski, Witold A. ; Slupecki, Jerzy, Dowód Pełności Klasycznego Rachunku Zdań na Gruncie Aksjomatycznej Metodologii (1959) |
| Pohlers, Wolfram, Proof Theory: An Introduction (1989) |
| Pohl, Ira, A Theory of Bi-Directional Search in Path Problems (1969) |
| Pohl, Ira, Heuristic Search Viewed as a Path Problem (1970) |
| Poincaré, Henri, Science and Hypothesis (1952) |
| Poincaré, Henri, Science and Method (1952) |
| Poizat, Bruno, Stable Groups (1987) |
| Poizat, Bruno, A Course in Model Theory: An Introduction to Contemporary Mathematical Logic (2000) |
| Pollák, G. ; Szendrei, Á., Independent Basis for the Indentities of Entropic Groupoids (1980) |