01207nam--2200385---450-99000193112020331620050614182908.0000193112USA01000193112(ALEPH)000193112USA0100019311220040816d1983----km-y0itay0103----bagerDE||||||||001yyGrundlegungen der Mathematik in transzendentaler KritikFrege und HilbertWolfgang SchulerHamburgMeinerc1983XV, 190 p.23 cm.Schriften zur Transzendentalphilosophie32001Schriften zur Transzendentalphilosophie32001001-------2001Logica matematicaMatematica e filosofia511.3SCHÜLER,Wolfgang154812ITsalbcISBD990001931120203316II.1 Coll.99/ 3 (IV C coll. 361/3)8718/85 L.M.IV CBKUMASIAV81020040816USA010913COPAT49020050614USA011829Grundlegungen der Mathematik in transzendentaler Kritik468893UNISA01135nam--2200361---450-99000239037020331620091216114646.0000239037USA01000239037(ALEPH)000239037USA0100023903720050202d1963----km-y0itay0103----bagerDE||||||||001yy<<Der>> verbraucher im gemeinsamen marktGunter Voigt, Bernauer WalterBadenA. Lutzeyer1963222 p.24 cmSchriftenreihe europaische wirtschaft252001Schriftenreihe europaische wirtschaft252001001-------2001VOIGT,Gunter572057BERNAUER,Walter572058ITsalbcISBD990002390370203316XXIII.4. Coll. 3/ 16 (Coll. AFM 25)5627 G.XXIII.4. Coll. 3/ 16 (Coll. AFM)00249704BKGIUSIAV71020050202USA011500RSIAV59020091216USA011146Verbraucher im gemeinsamen markt1064979UNISA02133nam 2200589 450 99646662200331620220908105054.03-540-35197-310.1007/BFb0062837(CKB)1000000000438084(SSID)ssj0000322016(PQKBManifestationID)12068598(PQKBTitleCode)TC0000322016(PQKBWorkID)10282128(PQKB)11138121(DE-He213)978-3-540-35197-9(MiAaPQ)EBC5594389(Au-PeEL)EBL5594389(OCoLC)1076238063(MiAaPQ)EBC6842277(Au-PeEL)EBL6842277(PPN)15517861X(EXLCZ)99100000000043808420220908d1979 uy 0engurnn#008mamaatxtccrThe computational complexity of logical theories /J. Ferrante, C. W. Rackoff1st ed. 1979.Berlin, Germany :Springer,[1979]©19791 online resource (XII, 244 p.)Lecture Notes in Mathematics,0075-8434 ;718Bibliographic Level Mode of Issuance: Monograph3-540-09501-2 and background -- Ehrenfeucht games and decision procedures -- Integer addition — An example of an Ehrenfeucht game decision procedure -- Some additional upper bounds -- Direct products of theories -- Lower bound preliminaries -- A technique for writing short formulas defining complicated properties -- A lower bound on the theories of pairing functions -- Some additional lower bounds.Lecture Notes in Mathematics,0075-8434 ;718Predicate calculusPredicate calculus.51003D15mscFerrante Jeanne1949-46752Rackoff Charles W.1948-MiAaPQMiAaPQMiAaPQBOOK996466622003316Computational complexity of logical theories262975UNISA01504nam a22002891i 450099100220928970753620030708110254.0030925s1970 be |||||||||||||||||lat b1225714x-39ule_instARCHE-030474ExLBiblioteca InterfacoltàitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.270.0922Anastasius :Bibliothecarius299277Anastasii abbatis sanctae Romanae ecclesiae presbyteri et bibliothecarii Opera omnia editio prae aliis omnibus insigins ... /accurante J.-P. MigneTurnholti :Typographi Brepols editores pontificii,dep. leg. 19701596 col. ;28 cmPatrologiae cursus completus omnium SS. patrum doctorum scriptorumque ecclesiasticorum sive Latinorum sive Graecorum.Patrologiae latinae ;128In testa al front.: Saeculum IX.ChiesaStoriaSec. 9.FontiCristianesimoStoriaSec. 9.FontiMigne, Jacques Paulauthorhttp://id.loc.gov/vocabulary/relators/aut297408.b1225714x02-04-1408-10-03991002209289707536LE002 P.L. 12812002000497017le002-E0.00-no 00000.i1264651908-10-03Anastasii abbatis sanctae Romanae ecclesiae presbyteri et bibliothecarii Opera omnia editio prae aliis omnibus insigins ..3370861UNISALENTOle00208-10-03ma -latbe 0101122cam a2200301 i 4500991002293319707536070328s1998 it 00 ita d9788879462433b13505166-39ule_instDip.to Scienze pedagogicheitaitaeng616.89Kopp, Richard R.625411Le metafore nel colloquio clinico :l'uso delle immagini mentali del cliente /Richard R. KoppTrento :Erickson,1998189 p. ;24 cmCollana di psicologiaTit. orig.: Metaphor therapyTrad. di Riccardo MazzeoBibliografia: p. [181]-189MetaforaImpiego psicoterapeuticoPsicoterapiaMetodi.b1350516603-05-0728-03-07991002293319707536LE022 616 KOP02.0112022000122948le022LE022/PICCINNO/2007pE21.00-l- 0102100.i1442669911-04-07Metafore nel colloquio clinico1096883UNISALENTOle02228-03-07ma -itait 30