Results 281 to 290 of about 269,566 (295)

Alan Rose. Systems of logic whose truth-values form lattices. Mathematische Annalen, vol. 123 (1951), pp. 152–165. - Alan Rose. A lattice-theoretic characterisation of the ℵ₀-valued Propositional Calculus. Mathematische Annalen, vol. 123 (1951), pp. 285–287. - Alan Rose. The degree of completeness of some Łukasiewicz-Tarski propositional calculi. The journal of the London Mathematical Society, vol. 26 (1951), pp. 47–49.

Journal of Symbolic Logic, 1952
openaire   +1 more source

After Math. Puzzles and Brainteasers. By Ed Barbeau./The Chicken from Minsk. By Yuri B. Chernyak & Robert M. Rose/New Mathematical Diversions, revised edition. By Martin Gardner

The American Mathematical Monthly, 1998
openaire   +1 more source

Seymour Ginsburg. Some remarks on abstract machines. Transactions of the American Mathematical Society, vol. 96 (1960), pp. 400–444. - Seymour Ginsburg and Gene F. Rose. A comparison of the work done by generalized sequential machines and Turing machines. Transactions of the American Mathematical Society, vol. 103 (1962), pp. 394–402.

Journal of Symbolic Logic, 1972
openaire   +1 more source

Per Martin-Löf. An intuitionistic theory of types: predicative part. Logic colloquium '73, Proceedings of the logic colloquium, Bristol, July 1973, edited by H. E. Rose and J. C. Shepherdson, Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 73–118.

Journal of Symbolic Logic, 1984
openaire   +1 more source

Labelling of Rose Bengal with Iodine-131 by Radioactive Exchange

Nature, 1959
exaly  

ON THE FEATURES WHICH DISTINGUISH EPIDEMIC ROSEOLA (ROSE RASH) FROM MEASLES AND FROM SCARLET FEVER.

Lancet, The, 1894
exaly  

Alan Rose and J. Barkley Rosser. Fragments of many-valued statement calculi. Transactions of the American Mathematical Society, vol. 87 (1958), pp. 1–53. - C. A. Meredith. The dependence of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 (1958), p. 54. - C. C. Chang. Proof of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 (1958), pp. 55–56.

Journal of Symbolic Logic, 1959
openaire   +1 more source

ROSE HIPS

Lancet, The, 1945
exaly