LEADER 02902nam  2200685uu 450 
001 9910958773803321
005 20251116141520.0
010   $a0-19-773158-9
010   $a1-280-47029-1
010   $a0-19-535372-2
010   $a0-585-32906-0
024 7 $a10.1093/oso/9780195116830.001.0001
035   $a(CKB)111004366529110
035   $a(EBL)272638
035   $a(OCoLC)559913921
035   $a(SSID)ssj0000240158
035   $a(PQKBManifestationID)11239289
035   $a(PQKBTitleCode)TC0000240158
035   $a(PQKBWorkID)10252428
035   $a(PQKB)10760852
035   $a(Au-PeEL)EBL272638
035   $a(CaPaEBR)ebr10087533
035   $a(CaONFJC)MIL47029
035   $a(OCoLC)935260787
035   $a(MiAaPQ)EBC272638
035   $a(OCoLC)1406785696
035   $a(StDuBDS)9780197731581
035   $a(EXLCZ)99111004366529110
100   $a19990208e20231998  |y         |
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aRussell's hidden substitutional theory /$fGregory Landini
210  1$aNew York ;$cOxford University Press,$d2023.
215   $a1 online resource (350 p.)
225 1 $aOxford scholarship online
300   $aBibliography: p325-332. - Includes index.
300   $aPreviously issued in print: 1998.
311 08$a0-19-511683-6 
320   $aIncludes bibliographical references (p. 325-332) and index.
327   $aContents; Introduction; Quodlibet Ens Est Unum; Overview; 1 Russell's Logicist Program; 2 The Logic of The Principles of Mathematics; 3 The New Theory of the Variable; 4 The Logic of Substitution; 5 The ""No Propositional Functions"" Theory; 6 The ""No-Classes"" Theory; 7 The ""No-Relations[sub(e)]"" Theory; 8 Les Paradoxes de la Logique; 9 Mathematical Logic as Based on the Theory of Types; 10 The Logic of Principia Mathematica; Appendix A: Proof of the Peano Postulates; Appendix B: Axioms, Theorems, and Definitions; Bibliography; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R
327   $aST; U; V; W; Z
330 8 $aLandini shows that Russell's work exhibits greater consistency than previously thought. Russell's thoughts on logic are considered to be flawed yet he nevertheless attempted to salvage the guiding idea of his principal theory on the subject.
410  0$aOxford scholarship online.
606   $aProposition (Logic)$xHistory$y20th century
606   $aLogic, Symbolic and mathematical$xHistory$y20th century
615  0$aProposition (Logic)$xHistory
615  0$aLogic, Symbolic and mathematical$xHistory
676   $a160/.92
700   $aLandini$b Gregory$0887830
801  0$bStDuBDS
801  2$bUk
801  2$bStDuBDSZ
801  2$bStDuBDSZ
906   $aBOOK
912   $a9910958773803321
996   $aRussell's hidden substitutional theory$94524185
997   $aUNINA