Search Results - "Büchi, J"
-
1
Coding in the existential theory of concatenation
Published in Archiv für Mathematische Logik und Grundlagenforschung (01-12-1987)Get full text
Journal Article -
2
Ion exchange; technical applications of ion exchange
Published in Journal of pharmacy and pharmacology (01-09-1956)Get more information
Journal Article -
3
Regular canonical systems
Published in Archiv für Mathematische Logik und Grundlagenforschung (01-04-1964)Get full text
Journal Article -
4
State-Strategies for Games in $F_{\sigma\delta} \bigcap G_{\delta\sigma}
Published in The Journal of symbolic logic (01-12-1983)Get full text
Journal Article -
5
Examination of antiseptic dressings
Published in Pharmaceutica acta Helvetiae (31-05-1950)Get more information
Journal Article -
6
Ion exchanger in pharmacy and medicine
Published in Arzneimittel-Forschung (01-09-1951)Get more information
Journal Article -
7
Development of local anesthetics; III. V. Correlations between physicochemical properties & local anesthetic effects
Published in Arzneimittel-Forschung (01-03-1952)Get more information
Journal Article -
8
Development of local anesthetics. II. IV. Correlations between chemical constitution and pharmacological effects of local anesthetics
Published in Arzneimittel-Forschung (01-02-1952)Get more information
Journal Article -
9
Development of pharmacy of local anesthetics
Published in Arzneimittel-Forschung (01-01-1952)Get more information
Journal Article -
10
Definability in the monadic second-order theory of successor
Published in The Journal of symbolic logic (01-01-1969)“…Let be a relational system whereby D is a nonempty set and P 1 is an m 1 -ary relation on D . With we associate the (weak) monadic second-order theory…”
Get full text
Journal Article -
11
State-strategies for games in Fdelta ï G
Published in The Journal of symbolic logic (01-12-1983)Get full text
Journal Article -
12
State-strategies for games in Fσδ ∩ Gδσ
Published in The Journal of symbolic logic (01-12-1983)“…The Cantor-Bendixson theorem says: For every closed set , ∣ ∣ ≤ ω 0 ∨ ⊇ perfect (and therefore is countable or has the power of the continuum). W. H. Young…”
Get full text
Journal Article -
13
Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types
Published in The Journal of symbolic logic (01-06-1953)“…It is a well known fact that Zermelo's Axiom of Choice and Zorn's Lemma are equivalent logical assumptions. However, an investigation from the viewpoint of the…”
Get full text
Journal Article -
14
Solving Sequential Conditions by Finite-State Strategies
Published in Transactions of the American Mathematical Society (01-04-1969)Get full text
Journal Article -
15
Emetics, antiemetics and drugs against motion sickness
Published in Pharmaceutica acta Helvetiae (01-06-1963)Get more information
Journal Article -
16
Turing-machines and the Entscheidungsproblem
Published in Mathematische annalen (01-06-1962)Get full text
Journal Article -
17
Conrad Gessner (1516-1565) als Zürcher Stadtarzt
Published in Veroffentlichungen der Schweizerischen Gesellschaft fur Geschichte der Pharmazie (1983)Get more information
Journal Article -
18
-
19
-
20
Reference substances for the determination of melting temperature according to Ph. Helv. VI and Ph. Eur. I. Part 4. Determination of purity and melting point with differential scanning calorimetry results and discussion
Published in Pharmaceutica acta Helvetiae (1974)Get more information
Journal Article