P
Author:
Mittelstraß Jürgen
Reference7034 articles.
1. K. Akihiro, The Empty Set, the Singleton, and the Ordered Pair, Bull. Symb. Log. 9 (2003), 273–298;
2. R. R. Dipert, Set-Theoretical Representations of Ordered Pairs and Their Adequacy for the Logic of Relations, Can. J. Philos. 12 (1982), 353–374;
3. J.-Y. Girard/Y. Lafont/P. Taylor, Proofs and Types, Cambridge etc. 1989, rev. 1990;
4. K. Kuratowski, Sur la notion de l’ordre dans la théorie des ensembles, Fund. Math. 2 (1921), 161–171, bes. 170–171;
5. D. McCarty/D. Scott, Reconsidering Ordered Pairs, Bull. Symb. Log. 14 (2008), 379–397;