springer springer vieweg nov 1981 (5 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Models of Peano Arithmetic.- Cuts in Models of Arithmetic.- Two notes on the Paris independence result.- The ordinal height of a density.- Ideaux des anneaux de Peano (d'apres Cherlin).- Theorie elementaire de la multiplication des entiers naturels.- La representation en termes de faisceaux des modeles de la theorie elementaire de la multiplication des entiers naturels.- Note on a nullstellensatz.- Anti-Basis theorems and their relation to independence results in Peano arithmetic.- A note on Decidable Model theory.- Interpr¿tions d'Arithm¿ques dans des groupes et des treillis.- Les methodes de Kieby-Paris et la th¿ie des ensembles.- The laws of exponentiation.- Le th¿¿ de MATIYASS¿ITCH et r¿ltats connexes.- Borne superieure de la complexite de la theorie de muni de la relation de divisibilite.- Some conservation results for fragments of arithmetic.- Partition properties and definable types in Peano Arithmetic.- De la structure additive a la saturation des modeles de Peano et a une classification des sous-langages de l'Arithmetique.- On discretely ordered rings in which every definable ideal is principal.- An observation concerning the relationship between finite and infinitary 1 1 .Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 316 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Various kinds of Aronszajn tree with no subtree of a different kind.- On set theories in toposes.- A representation for Spector second order classes in computation theories on two types.- Precipitousness of the ideal of thin sets on a measurable cardinal.- Axiom systems of nonstandard set theory.- Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class.- On the length of proofs in a formal system of recursive arithmetic.- Homogeneous formulas and definability theorems.- Boolean valued combinatorics.- Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata.- Sections and envelopes of type 2 objects.- Heyting valued universes of intuitionistic set theory.- Independence of a problem in elementary analysis from set theory.- Intuitionistic theories and toposes.- The Hahn-Banach theorem and a restricted inductive definition.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 408 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Dedicated to Professor Dr. Hanfried Lenz on the Occasion of his 65th BirthdaySpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 264 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -20 . . . . . . R. Dennhardt Pharmakokinetik und Metabolismus von Bupivacain . 21 Diskussion . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 . . . . . . L. Wiklund und A. Berlin-Wahlen The Influence of Liver Circulation of the Pharmacokinetics of Local Anaesthetics . . . . . . . . . . . . . . . . . . . . . 32 . . . . Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 . . . . . .Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 196 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Lange Zeit hindurch wurden Dokumentationssysteme in Form von Karteien gefuhrt; Zugang hatte praktisch nur die betreibende Organisation, etwa die Dokumentationsstelle eines Gerichts oder eines Industrieunternehmens. Bereits vor 1960 begannen Versuche, die erweiterten Moglichkeiten der Datenverarbeltung zur Suche in Datenbestanden auch fur Dokumentationseinrichtungen nutzbar zu machen. Inzwischen wird au~erdem die Datenfernubertragung eingesetzt, um Benutzern weitab von der Rechenanlage den Zugang zu ermoglichen. Es. gibt Daten banken mit Tausenden von Kunden, die uber die ganze Welt verteilt sind. Dokumentationssysteme sind eine spezielle Form von Informations systemen. Charakteristisch fur sie ist, da~ sie als wesentlicheri Inhalt 'weiche' Daten enthalten, namlich Inhaltskennzeichnungen von Dokumenten, meistens in der Form von Schlagworten oder Kurzfassungen. Die 'hart en' Daten anderer Informationssysteme sind entweder exakt oder mit einer abschatzbaren Genauigkeit bekannt (Beispiele: Name und Geburtsdatum von Betriebsangehori gen; physikalische Konstanten; volkswirtschaftliche Statistiken); dagegen sind Inhaltsbeschreibungen von Dokumenten auf vielerlei Weise moglich. Dies betrifft nicht nur die Frage, wie detailliert man den Inhalt wiedergibt, ob man bevorzugt breite oder spezi fische Schlagworte zuteilt und welchen von mehreren, bedeutungs gleichen oder -ahnlichen Ausdrucken man verwendet, sondern sehr viel diffiziler das Problem, welcHe Aspekte eines Dokuments dokumentationswurdig sind. Sogar bei sehr genau vorgegebenen Arbeitsanweisungen kommen unabhangig voneinander arbeitende In dexierer in der Regel zu unterschiedlichen Ergebnissen, und oft fallt es ihnen selbst in einem Gesprach miteinander schwer, einen Konsens zu finden.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 336 pp. Deutsch.