Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Piotr Rudnicki
A selection of my publications until 2002 and remarks on past work
are in my Personal Data Form 100 (.ps).
For recent work see under the Mizar project.
CMPUT 499/605:
Practical Algorithmics (aka Problem Solving Techniques)
CMPUT 662:
Introduction to Specification and Verification
TNP
I am a member of The Scientific Society of Plock
(Towarzystwo Naukowe Plockie), in Plock, Poland. They have a library
that offers some excitement to their members. The library owns a copy
of the first printing of Copernicus' De revolutionibus orbium coelestium, Nuremberg 1543.
If
you pay your membership fees like I do they would let you
touch it or open it at
any place you want .