Results for 'S. Yasuhara'

982 found
Order:
  1. The effects of design factors of the combustion chamber on heat balance in a gasoline engine.K. Mukai, T. Iijima, H. Miyazaki & S. Yasuhara - 2005 - In Alan F. Blackwell & David MacKay (eds.), Power. Cambridge University Press. pp. 09-08.
  2.  32
    The dissociation of the [a + c] dislocation in GaN.P. B. Hirsch, J. G. Lozano, S. Rhode, M. K. Horton, M. A. Moram, S. Zhang, M. J. Kappers, C. J. Humphreys, A. Yasuhara, E. Okunishi & P. D. Nellist - 2013 - Philosophical Magazine 93 (28-30):3925-3938.
  3.  19
    Raymond M. Smullyan, On Post 's canonical systems. The journal of symbolic logic, vol. 27 no. 1 , pp. 55–57.Ann Yasuhara - 1969 - Journal of Symbolic Logic 33 (4):623.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  23
    Adjan S. I.. Defining relations and algorithmic problems for groups and semigroups. English translation of XXXVIII 357 by M. Greendlinger. Proceedings of the Steklov Institute of Mathematics, no. 85 , American Mathematical Society, Providence 1967, iii + 152 pp. [REVIEW]Ann Yasuhara - 1973 - Journal of Symbolic Logic 38 (2):338-339.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  9
    Review: S. I. Adjan, M. Greendlinger, Defining Relations and Algorithmic Problems for Groups and Semigroups. [REVIEW]Ann Yasuhara - 1973 - Journal of Symbolic Logic 38 (2):338-339.
  6.  10
    Review: Raymond M. Smullyan, On Post's Canonical Systems. [REVIEW]Ann Yasuhara - 1968 - Journal of Symbolic Logic 33 (4):623-623.
  7.  28
    Ann Yasuhara. Recursive function theory and logic. Academic Press, New York and London 1971, xv + 338 pp. [REVIEW]Oseph S. Ullian - 1975 - Journal of Symbolic Logic 40 (4):619-620.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  17
    Review: Ann Yasuhara, Recursive Function Theory and Logic. [REVIEW]Joseph S. Ullian - 1975 - Journal of Symbolic Logic 40 (4):619-620.
  9.  16
    Extensionality in Bernays set theory.Mitsuru Yasuhara - 1984 - Notre Dame Journal of Formal Logic 25 (4):357-363.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  10.  26
    An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.M. Yasuhara & Peter B. Andrews - 1988 - Journal of Symbolic Logic 53 (1):312.
  11.  22
    REVIEWS-An introduction to mathematical logic and type theory: To truth through proof.P. B. Andrews & Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408.
  12.  42
    Syntactical and semantical properties of generalized quantifiers.Mitsuru Yasuhara - 1966 - Journal of Symbolic Logic 31 (4):617-632.
  13.  23
    The structure of an Al–Rh–Cu decagonal quasicrystal studied by spherical aberration -corrected scanning transmission electron microscopy.Kenji Hiraga, Akira Yasuhara, Kazuki Yamamoto & Kunio Yubuta - 2015 - Philosophical Magazine 95 (14):1524-1535.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  33
    An axiomatic system for the first order language with an equi-cardinality quantifier.Mitsuru Yasuhara - 1966 - Journal of Symbolic Logic 31 (4):633-640.
  15.  37
    Cut Elimination in ε‐Calculi.Mitsuru Yasuhara - 1982 - Mathematical Logic Quarterly 28 (20-21):311-316.
  16.  10
    Ocherki po filosofii i mezhdunarodnomu pravu.S. V. Chernichenko - 2002 - Moskva: Nauchnai︠a︡ kniga.
    Ocherk 1. Voprosy ontologii -- Ocherk 2. Voprosy ėtiki i ėstetiki -- Ocherk 3. Voprosy gnoseologii i aksiologii.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  9
    Deseo de multitud: diferencia, antagonismo y política materialista.Aragüés Estragués & Juan Manuel - 2018 - Valencia: Pre-textos.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  18
    An Addition to “Cut Elimination in ϵ‐Calculi”.Mitsuru Yasuhara - 1989 - Mathematical Logic Quarterly 35 (6):483-484.
  19.  26
    An Addition to “Cut Elimination in ε-Calculi”.Mitsuru Yasuhara - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):483-484.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  15
    Cudia Dennis F. and Singletary Wilson E.. The Post correspondence problem.Ann Yasuhara - 1974 - Journal of Symbolic Logic 39 (1):185-186.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  21
    Cut Elimination in ε‐Calculi.Mitsuru Yasuhara - 1982 - Mathematical Logic Quarterly 28 (20‐21):311-316.
  22.  18
    On a Problem of Mostowski on Finite Spectra.Mitsuru Yasuhara - 1971 - Mathematical Logic Quarterly 17 (1):17-20.
  23.  32
    On a Problem of Mostowski on Finite Spectra.Mitsuru Yasuhara - 1971 - Mathematical Logic Quarterly 17 (1):17-20.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  14
    Ronald Harrop. Some structure results for propositional calculi. The journal of symbolic logic, vol. 30 , pp. 271–292.Ann Yasuhara - 1968 - Journal of Symbolic Logic 32 (4):537-538.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  27
    R. H. Thomason and H. Leblanc. All or none: a novel choice of primitives for elementary logic. The journal of symbolic logic, vol. 32 , pp. 345–351.Mitsuru Yasuhara - 1969 - Journal of Symbolic Logic 34 (1):124-125.
  26.  27
    The study of Al3 crystal and Al–Mn–Pd decagonal quasicrystal by spherical aberration-corrected scanning transmission microscopy and atomic-resolution energy dispersive X-ray spectroscopy.Akira Yasuhara & Kenji Hiraga - 2015 - Philosophical Magazine 95 (14):1511-1523.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  49
    Leibniz's 'New system' and associated contemporary texts.R. S. Woolhouse & Richard Francks (eds.) - 1997 - New York: Oxford University Press.
    This volume gathers together for the first time are all the key texts in a crucial debate in modern philosophy, centered on Leibniz's famous 1695 essay, the "New System of the Nature of Substances and their Communication," in which he introduced his strikingly original theory of metaphysics. His "system" became increasingly famous and drew him into discussion and development of these ideas, both in public and in private, with a variety of thinkers, most notably the great French philosopher Pierre Bayle. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  28.  2
    Golovolomki problemy soznanii︠a︡: kont︠s︡ept︠s︡ii︠a︡ Dėniela Denneta.N. S. I︠U︡lina - 2004 - Moskva: Kanon+.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  2
    Filosofskai︠a︡ komparativistika: Vostok-Zapad: uchebnoe posobie.A. S. Kolesnikov - 2004 - S.-Peterburg: Izd-vo S.-Peterburgskogo universiteta.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  20
    Recovery After Genocide: Understanding the Dimensions of Recovery Capital Among Incarcerated Genocide Perpetrators in Rwanda.Kevin Barnes-Ceeney, Lior Gideon, Laurie Leitch & Kento Yasuhara - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  11
    Andrews Peter B.. An introduction to mathematical logic and type theory: to truth through proof. Applied logic series, vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, xviii+ 390 pp. [REVIEW]Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408-408.
  32.  24
    A. V. Kuznécov and V. Á. Gérčiu. O supérintuicionistskih logikah i finitnoj approksimiruémosti. Doklady Akadémii Nauk SSSR, vol. 195 , pp. 1029–1032. - A. V. Kuznecov and V. A. Gerčiu. Superintuitionistic logics and finite approximability. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 11 no. 6 , pp. 1614–1619. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):757.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  27
    Dennis F. Cudia and Wilson E. Singletary. The Post correspondence problem. The journal of symbolic logic, vol. 33 , pp. 418–430. - Dennis F. Cudia and Wilson E. Singletary. Degrees of unsolvability in formal grammars. Journal of the Association for Computing Machinery, vol. 15 , pp. 680–692. [REVIEW]Ann Yasuhara - 1974 - Journal of Symbolic Logic 39 (1):185-186.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  11
    George J. Tourlakis. Computabitity. Reston Publishing Company, Reston, Va., 1984, x + 566 pp. [REVIEW]Ann Yasuhara - 1988 - Journal of Symbolic Logic 53 (4):1255-1257.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  27
    Wang Hao. Tag systems and lag systems. Mathematische Annalen, vol. 152 , pp. 65–74.Cocke John and Minsky Marvin. Universality of tag systems with D = 2. Journal of the Association for Computing Machinery, vol. 11 , pp. 15–20.Cook Stephen A.. The solvability of the derivability problem for one-normal systems. Journal of the Association for Computing Machinery, vol. 13 , pp. 223–225. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  26
    J. I. Malitz and W. N. Reinhardt. Maximal models in the language with quantifier “there exist uncountably many.” Pacific journal of mathematics, vol. 40 , pp. 139–155. - J. I. Malitz and W. N. Reinhardt. A complete countable Lω1Q theory with maximal models of many cardinalities. Pacific journal of mathematics, vol. 43 , pp. 691–700. [REVIEW]Mitsuru Yasuhara - 1975 - Journal of Symbolic Logic 40 (4):635-636.
  37.  20
    Kuznecov A. V.. Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi. English translation of XXXVII 772 by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 59 , pp. 56–72. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):756-757.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  18
    Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp. [REVIEW]M. Yasuhara - 1988 - Journal of Symbolic Logic 53 (1):312-314.
  39. Review: George J. Tourlakis, Computability. [REVIEW]Ann Yasuhara - 1988 - Journal of Symbolic Logic 53 (4):1255-1257.
     
    Export citation  
     
    Bookmark  
  40.  10
    Review: Hao Wang, Tag Systems and Lag Systems; John Cocke, Marvin Minsky, Universality of Tag Systems with $D = 2$; Stephen A. Cook, The Solvability of the Derivability Problem for One-Normal Systems. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344-344.
  41.  14
    Review: J. I. Malitz, W. N. Reinhardt, Maximal Models in the Language with Quantifier "There Exist Uncountably Many."; J. I. Malitz, W. N. Reinhardt, A Complete Countable $L^Q{omega1}$ Theory with Maximal Models of Many Cardinalities. [REVIEW]Mitsuru Yasuhara - 1975 - Journal of Symbolic Logic 40 (4):635-636.
  42.  4
    Review: Ronald Harrop, Some Structure Results for Propositional Calculi. [REVIEW]Ann Yasuhara - 1967 - Journal of Symbolic Logic 32 (4):537-538.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  12
    Review: R. H. Thomason, H. Leblanc, All or None: a Novel Choice of Primitives for Elementary Logic. [REVIEW]Mitsuru Yasuhara - 1969 - Journal of Symbolic Logic 34 (1):124-125.
  44.  9
    Sein als Freiheit: die idealistische Metaphysik Meister Eckharts und Johann Gottlieb Fichtes.Andrés Quero-Sánchez - 2004 - Freiburg: Alber.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  8
    How human is God?: seven questions about God and humanity in the Bible.Mark S. Smith - 2014 - Collegeville, Minnesota: Liturgical Press.
    Prologue, invitation to thinking about God In the Hebrew Bible? -- Part I, questions about God? -- Why does God in the Bible have a body? -- What do God's body parts in the Bible mean? -- Why is God angry in the Bible? -- Does God in the Bible have gender or sexuality? -- Part II, questions about God in the world? -- What can creation tell us about God? -- Who-or what-is the Satan? -- Why do people suffer (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  1
    Teorii medit︠s︡iny na styke vekov XX i XXI.I︠U︡ Lisit︠s︡yn - 1998 - Moskva: VUNMT︠S︡.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  2
    Hoi pente epoches tēs philosophias.Theodosios N. Pelegrinēs - 1997 - Athēna: Hellēnika Grammata.
  48.  5
    Fenomen mysliteli︠a︡: ot razuma k mudrosti.U. S. Vilʹdanov - 2004 - Ufa: Bashkirskiĭ gos. universitet.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  7
    The outer limits of reason: what science, mathematics, and logic cannot tell us.Noson S. Yanofsky - 2013 - Cambridge, Massachusetts: The MIT Press.
    Many books explain what is known about the universe. This book investigates what cannot be known. Rather than exploring the amazing facts that science, mathematics, and reason have revealed to us, this work studies what science, mathematics, and reason tell us cannot be revealed. In The Outer Limits of Reason, Noson Yanofsky considers what cannot be predicted, described, or known, and what will never be understood. He discusses the limitations of computers, physics, logic, and our own thought processes. Yanofsky describes (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  2
    Füvészkönyve és részletek Egy magányos barangoló ábrándozásai, vagy, Jean-Jacques Rousseau Füvészkönyvéből.Ernest Joós - 1997 - Sárvár: Sylvester János Könyvtár. Edited by Ernest Joós.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 982