Wyniki
-
D-complete Axioms for the Classical Equivalential Calculus
Dolph Urlich
Bulletin of the Section of Logic , 34 /3 (2005) s. 135-142 -
Single Axiom for Relevant Implication
Dolph Urlich
Bulletin of the Section of Logic , 41 /1-2 (2012) s. 13-16 -
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
Larry Wos, Dolph Urlich, Branden Fitelson
Bulletin of the Section of Logic , 32 /3 (2003) s. 131-136 -
Dwa pojęcia humanizmu
Urlich Schrade
Archiwum Historii Filozofii i Myśli Społecznej 29 (1983) s. 239-266 -
Answer to a question raised by Harrop
Dolph Ulrich
Bulletin of the Section of Logic , 11 /3-4 (1982) s. 140-141 -
Models of three-valued calculi in inplicational S5
Dolph Ulrich
Bulletin of the Section of Logic , 12 /2 (1983) s. 73-75 -
On the independence of B from I, C, W, K'1 and Karpenko's formula X
Dolph Ulrich
Bulletin of the Section of Logic , 23 /3 (1994) s. 96-97 -
New single axioms for positive implication
Dolph Ulrich
Bulletin of the Section of Logic , 28 /1 (1999) s. 39-42 -
An integer-valued matrix characteristic for implicational S5
Dolph Ulrich
Bulletin of the Section of Logic , 19 /3 (1990) s. 87-91 -
On Two Open Questions Concerning the Implicational Fragment of R-mingle
Dolph Ulrich
Bulletin of the Section of Logic , 38 /1-2 (2009) s. 1-4 -
"Europa Oświecenia", Urlich Im Hof, Warszawa 1995 : [recenzja]
Urlich Im Hof
Studia Historyczne , 39 /4 (1996) s. 578-581 -
Listy
Anna Urlich, Marian Majewski
Spotkania z Zabytkami , 16 /3 (61) (1992) s. 40