01136nam0-2200373li-450-9900001479502033160014795USA010014795(ALEPH)000014795USA01001479520001109d1981984-km-y0itay0103----baitaITElettrodinamica classicaJohn D. Jacksontrad. di Lucio MezzettiBolognaZanichelli1984XVII, 771 p.ill.24 cmClassical electrodynamics2001Classical electrodynamics1400589Elettrodinamica5376JACKSON,John D.34109MEZZETTI,LucioSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000147950203316537.601 JAC (C)0011235537.601BKSCI1989122020001110USA011712PATTY9020011030USA01145620020403USA011622PATRY9020040406USA011611Classical electrodynamics1400589UNISA02916nam 2200553 450 991047890660332120170918214658.00-8218-7694-5(CKB)3240000000069633(EBL)3112895(SSID)ssj0001339697(PQKBManifestationID)11915155(PQKBTitleCode)TC0001339697(PQKBWorkID)11355598(PQKB)10878862(MiAaPQ)EBC3112895(WaSeSS)Ind00039247(PPN)197104290(EXLCZ)99324000000006963319900111h19901990 uy| 0engur|n|---|||||txtccrLogic and computation proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /Wilfried Sieg, editorProvidence, Rhode Island :American Mathematical Society,[1990]©19901 online resource (314 p.)Contemporary mathematics,0271-4132 ;volume 106"The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso.0-8218-5110-1 Includes bibliographical references.""Contents""; ""Preface""; ""Some theories conservative over intuitionistic arithmetic""; ""Ramsey interpreted: A parametric version of Ramsey's theorem""; ""Notions of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic""; ""A note on polynomial time computable arithmetic""; ""Axiomatizations and conservation results for fragments of bounded arithmetic""; ""A smash-based hierarchy between PTIME and PSPACE""; ""Polymorphic typed lambda-calculi in a type-free axiomatic framework""; ""Polynomial time computable arithmetic""""Metaprogramming in SIL""""W K Lo and orderings of countable abelian groups""; ""Marriage theorems and reverse mathematics""; ""Computationally based set existence principles""; ""Hierarchy results for mixed-time""; ""Polynomial time equivalence types""; ""Program development through proof transformation""; ""Some models of Scott's theory LC F based on a notion of rate of convergence""; ""Sharply bounded arithmetic and the function a -1""; ""Radon-nikodym theorem is equivalent to arithmetical comprehension""Contemporary mathematics (American Mathematical Society) ;106.Computable functionsData processingCongressesElectronic books.Computable functionsData processing511.3Sieg Wilfried1945-Workshop on Logic and ComputationMiAaPQMiAaPQMiAaPQBOOK9910478906603321Logic and Computation376364UNINA02121oas 22006973 450 991037035360332120250611213023.02577-445X(OCoLC)1029877002(CONSER) 2018200430(CKB)4100000008045093(EXLCZ)99410000000804509320180330a20189999 uy aengur|||||||||||txtrdacontentcrdamediacrrdacarrierInternational journal of geoheritage and parksSt. Louis, MO :Darswin Publishing House,2018-[Amsterdam] :Elsevier B.V.Refereed/Peer-reviewed2577-4441 GeologyPeriodicalsConservation of natural resourcesPeriodicalsLandscape protectionPeriodicalsGeoparksPeriodicalsGéologiePériodiquesConservation des ressources naturellesPériodiquesPaysagesProtectionPériodiquesGéoparcsPériodiquesConservation of natural resourcesfast(OCoLC)fst00875502Geologyfast(OCoLC)fst00940627Geoparksfast(OCoLC)fst01736534Landscape protectionfast(OCoLC)fst00992049Periodicals.fastGeologyConservation of natural resourcesLandscape protectionGeoparksGéologieConservation des ressources naturellesPaysagesProtectionGéoparcsConservation of natural resources.Geology.Geoparks.Landscape protection.910.02DLCDLCDLCAUDOCLCOOCLCFDLCOCLCLJOURNAL9910370353603321International journal of geoheritage and parks1891281UNINA