検索結果 279 件

図書
Haskell Curry ; Translated and presented by Fairouz Kamareddine and Jonathan SeldinCollege Publicationsc2016
全国の図書館
  • 一般注記...the permission of johns Hopkins University Pres...
  • 関連情報Logic PhDs
  • 掲載誌Logic PhDs
図書
Dale Jacquette.Cambridge University Press2019.<HD91-B40>
国立国会図書館全国の図書館
  • 要約等...8-1925) is one of the founding figures of analytic philo......ntributions to logic, philosophical......cs, philosophy of language, and philosophy of mathematics se......re generations of theorists in t......ted his 'ideal logical language', h......ns for Frege's logicism"--
  • 内容細目...(1879) - ideal logical language; 5. The aftermath of Begriffsschrif......-1884); 6. The logical foundations of number in Grun......n (1884); 7. Professional advanc......entific theory of meaning (1885-......nce, and psychological epiphenomena......fe, the review of Husserl, mathematical and philosophi....... The crucible of logicism and the crisis of Russell's para...... philosophical logic - Logische Unt......ring legacy in mathematical logic and philosophy.
図書
Scott Soames.Princeton University Press[2019]<HC1-D1>
国立国会図書館
  • 内容細目The dawn of western philos......The beginnings of modern science...... people Modern logic and the foundations of mathematics Logic, computation, and the birth of the digital age The science of language The science of rational choic......he objectivity of morality Virtu......ng in the face of death The noble deaths of Socrates and David Hume Bios of leading figures.
  • 資料の内容に関する注記...on is the root of all human know......oncise history of philosophy's w......ccomplishments of philosophy. Fi...... misconception of philosophy as ......rse as law and logic, psychology an......ith the giants of ancient Greek ......e achievements of the great thin...... understanding of ourselves. Philosophy's idea of rational inqui......tible richness of philosophy and its influence ...
図書
Gerard O'Regan.Springer[2018]<M154-B234>
国立国会図書館
  • 要約等...exciting world of computing, enc......ocietal impact of computer software and computing devices. S...
  • 内容細目What is a computer? Foundations of computing Concise history of computing Over......ntroduction to logic Human-computer......uages Overview of software engineering Over of operating systems Overview of databases Overview of telecommunicat...... Legal aspects of computing Ethics and professional responsibility Innova...
図書
田中一之 著裳華房2019.6<MA41-M9>
国立国会図書館全国の図書館
  • 典拠情報(件名/「を見よ」参照)Logic, Symbolic and mathematical
  • 並列タイトル等(連結)LOGICAL FOUNDATIONS OF MATHEMATICS
  • 並列タイトル等LOGICAL FOUNDATIONS OF MATHEMATICS
図書
Jocelyn Benoist [et al.] (editor)Keio University Centre for Integrated Research on the Mind2006.3<H35-B5>
国立国会図書館全国の図書館
  • 内容細目...ality Theories of reference in b......oist Varieties of semantic objec......Husserl on the foundations of mathematics by......Okada A linear logical view of intuitionistic logic Arithmetization and rigorizat...
図書
Springerc2007.<HD84-B16>
国立国会図書館
  • 内容細目... phenomenology of perception. Hu...... phenomenology of attention / Br......erl's geometry of the visual fie......ree / Sonja Rinofner-Kreidl Pt. ......nology and the foundations of natural scienc......eyl's phenomenological philosophy of nature / Pierre Kerszberg Mathematical concepts and p......Phenomenology, logic, and mathemati......nalistic ideal of formal logic: Husserl and Gödel / Pierre C...
  • 並列タイトル等(連結)Phenomenological essays on mathematical beings, physical reality, per...
  • 並列タイトル等Phenomenological essays on mathematical beings, physical reality, per...
図書
Andrés Eduardo Caicedo ... [et al.], editorsAmerican Mathematical Societyc2017
全国の図書館
  • 一般注記... "Bibliography of W. Hugh Woodin": p. xiii-xvii...
  • 著者標目...rence in honor of Hugh Woodin's 60th birthday
デジタル記事
杉田 浩崇<Z7-B25>近代教育フォーラム = Forum on modern education(27):2018p.17-23
国立国会図書館全国の図書館
  • 並列タイトル等(連結)On the Possibility of "Mediation" in......e Implications of Hajime Tanabe'......houghts on the Foundations of Mathematics and Logic
  • 並列タイトル等On the Possibility of "Mediation" in......e Implications of Hajime Tanabe'......houghts on the Foundations of Mathematics and Logic
図書
co-editors Daniel Andler [et al.]Keio University Centre for Integrated Research on the Mind2006.3<M18-B606>
国立国会図書館全国の図書館
  • 目次・記事...3 Daniel Andler||Yoshinori Ogawa||Mitsuhiro Okada||Shigeru Watanab...... a Participant Logical: the Role of Premise Presen......e Van Der Henst||Kinga Bujakowska||Carine Ciceron||Ira A. Noveck 2......the Crossroads of Logic, Psychology, a......s: Development of the Deductive ......ct/ 19 Juko Ando||Chizuru Shikishima||Kai Hiraishi||Yutaro Sugimoto||Ryo Takemura||Mitsuhiro Okada......esses Theories of the Mind and R......3 Takeo Tshujii||Mitsuhiro Okada||Shigeru Watanab......5. Development of Logical and Illogical Inference/ 6......Yumiko Yamazaki||Kazuo Okanoya||Atsushi Iriki P......ical and Psychological Foundations of Reasoning an...
  • 内容細目...rative studies of reasoning and ......d genetic neurological disease by R......iency in low-proficient second l......oretic aspects of reasoning and ......e The dynamics of the construction of auditory perce...... Simon Control of eye movements in reading comi...
図書
Douglas Cenzer, Jean Larson, Christopher Porter, Jindrich ZapletalWorld Scientificc2022
全国の図書館
  • 件名Set theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks
  • 件名(識別子)Set theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks
記事
田畑 博敏<Z71-M902>鳥取大学大学教育支援機構教育センター紀要 = Tottori University Education Center bulletin(12):2015p.1-17
国立国会図書館全国の図書館
  • 並列タイトル等(連結)Frege, Logic and the Foundation of Mathematics : Extensions and Perspectives in the Study of Frege
  • 並列タイトル等Frege, Logic and the Foundation of Mathematics : Extensions and Perspectives in the Study of Frege
図書
Oxford University Press2008.<X>
国立国会図書館
  • 内容細目...d's philosophy of the act / Corn...... The reception of early American......med Philosophy of science in Ame...... The influence of Wittgenstein o......ing in a space of norms : neo-Se......and the future of metaphysics in....../ Scott Soames Logic and the foundations of mathematics / Danielle Macbet...
図書
Douglas Cenzer, Jean Larson, Christopher Porter, Jindrich ZapletalWorld Scientific2020
全国の図書館
  • 件名Set theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks
  • 件名(識別子)Set theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks
デジタル記事
2020-07-24
全国の図書館
  • 参照...s in the Light of Gestalt Psychology
  • 並列タイトル等(連結)A Logical-Mathematical Investigation into the Concept of Number 1884
  • 並列タイトル等A Logical-Mathematical Investigation into the Concept of Number 1884
図書
SAGE Publicationsc2008.<G63-B8>
国立国会図書館
  • 内容細目...hy Association of Geographic Inf......s Coordination of Information on...... Digital Chart of the World (DCW......ributed GIS Ecological fallacy Economics of geographic inf......thics in the profession Evolutio......GDC) First law of geography Frac......ork data Fuzzy logic Gazetteers -- ......ses, Data and software LiDAR Lif......services (LBS) Logical expressions ......ld GIS Maplafo Mathematical model Mental m......on Multivalued logic Multivariate m......) Scale Scales of measurement Se......lope measures Software, GIS Spat......erface U.S. Geological Survey (USGS) Virtual envir...
図書
edited by Paul Weingartner, Hans-Peter LeebCollege Publicationsc2020
全国の図書館
  • 件名Matemáticas -- Filosofía Lógica matemática Kreisel, Georg
  • 件名(識別子)Matemáticas -- Filosofía Lógica matemática Kreisel, Georg
記事
<Z14-479>科学哲学 = Philosophy of science : journal of the Philosophy of Science Society, Japan / 日本科学哲学会 編40(2) 2007p.1~39
国立国会図書館全国の図書館
  • 並列タイトル等(連結)Logical and philosophical foundations of mathematics
  • 並列タイトル等Logical and philosophical foundations of mathematics