00965nam a22002531i 450099100354478970753620040505160203.0040802s19uu it |||||||||||||||||ita b13090380-39ule_instARCHE-104299ExLBiblioteca InterfacoltàitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.516.242Borrello, Antonio489481Trigonometria piana :ad uso dei licei classici e scientifici e degli istituti tecnici /Antonio Borrello9. ed.Milano :La Prora,[19..]252 p. ;21 cmTrigonometria.b1309038002-04-1405-08-04991003544789707536LE002 Fondo Giudici N 28112002000341952le002C. 1-E0.00-no 00000.i1372347905-08-04Trigonometria piana289866UNISALENTOle00205-08-04ma -itait 0102703nam 2200601Ia 450 991077871950332120230421034136.00-19-773158-91-280-47029-10-19-535372-20-585-32906-0(CKB)111004366529110(EBL)272638(OCoLC)559913921(SSID)ssj0000240158(PQKBManifestationID)11239289(PQKBTitleCode)TC0000240158(PQKBWorkID)10252428(PQKB)10760852(Au-PeEL)EBL272638(CaPaEBR)ebr10087533(CaONFJC)MIL47029(OCoLC)935260787(MiAaPQ)EBC272638(EXLCZ)9911100436652911019970625d1998 uy 0engur|n|---|||||txtccrRussell's hidden substitutional theory[electronic resource] /Gregory LandiniNew York Oxford University Press19981 online resource (350 p.)Description based upon print version of record.0-19-511683-6 Includes bibliographical references (p. 325-332) and index.Contents; 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; RST; U; V; W; ZExplores 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.Proposition (Logic)History20th centuryLogic, Symbolic and mathematicalHistory20th centuryProposition (Logic)HistoryLogic, Symbolic and mathematicalHistory160/.92Landini Gregory887830MiAaPQMiAaPQMiAaPQBOOK9910778719503321Russell's hidden substitutional theory3820433UNINA