LEADER 02703nam  2200601Ia 450 
001 9910778719503321
005 20230421034136.0
010   $a0-19-773158-9
010   $a1-280-47029-1
010   $a0-19-535372-2
010   $a0-585-32906-0
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(EXLCZ)99111004366529110
100   $a19970625d1998      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aRussell's hidden substitutional theory$b[electronic resource] /$fGregory Landini
210   $aNew York $cOxford University Press$d1998
215   $a1 online resource (350 p.)
300   $aDescription based upon print version of record.
311   $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   $aExplores a central thread unifying Russell's thoughts on logic in two works considered at odds with each other: ""Principles of Mathematics"" and ""Principia Mathematica"". The thread states that logic is an absolutely general science and any calculus for it must embrace unrestricted variables.
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$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910778719503321
996   $aRussell's hidden substitutional theory$93820433
997   $aUNINA