本文に飛ぶ

年 〜
年

検索結果 25 件

Weaving self-evidence : a sociology of logic / Claude Rosental ; translated by Catherine Porter. (Princeton studies in cultural sociology)

Weaving self-evidence : a sociology of logic / Claude Rosental ; translated by Catherine Porter. (Princeton studies in cultural sociology)
紙図書
Princeton University Pressc2008.<M22-B35>
国立国会図書館
  • 件名...ocial aspects. Logic, Symbolic and mathematical -- History -- 20th century.

The great formal machinery works : theories of deduction and computation at the origins of the digital age hbk.

The great formal machinery works : theories of deduction and computation at the origins of the digital age hbk.
紙図書
Jan von PlatoPrinceton University Press2017
全国の図書館
  • 件名Mathematics -- History Logic, Symbolic and mathematical -- History Computer science -- Mathemati...
  • 件名（識別子）Mathematics -- History Logic, Symbolic and mathematical -- History Computer science -- Mathemati...

Hilbertprogramm und kritische Philosophie : das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie / Volker Peckhaus. (Studien zur Wissenschafts-, Sozial- und Bildungsgeschichte der Mathematik ; Bd. 7)

Hilbertprogramm und kritische Philosophie : das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie / Volker Peckhaus. (Studien zur Wissenschafts-, Sozial- und Bildungsgeschichte der Mathematik ; Bd. 7)
紙図書
Vandenhoeck & Ruprechtc1990.<H151-A11>
国立国会図書館

Logic and philosophy in the Lvov-Warsaw school / Jan Woleński. (Synthese library ; v. 198)

Logic and philosophy in the Lvov-Warsaw school / Jan Woleński. (Synthese library ; v. 198)
紙図書
Kluwer Academic Publishersc1989.<HD175-A6>
国立国会図書館
  • 件名...hy -- History. Logic, Symbolic and mathematical -- History -- 20th century.

Augustus De Morgan and the logic of relations / Daniel D. Merrill. (The New synthese historical library ; v. 38)

Augustus De Morgan and the logic of relations / Daniel D. Merrill. (The New synthese historical library ; v. 38)
紙図書
Kluwer Academic Publishersc1990.<HD35-A15>
国立国会図書館
  • 件名...ce. Syllogism. Logic, Symbolic and mathematical -- History -- 19th century.

Hausdorff on ordered sets : pbk

Hausdorff on ordered sets : pbk
紙図書
J.M. Plotkin, editor ; translated by J.M. PlotkinAmerican Mathematical Societyc2005
全国の図書館
  • 件名...lix, 1868-1942 Logic, Symbolic and mathematical -- History Lattice theory -- History Fun...
  • 件名（識別子）...lix, 1868-1942 Logic, Symbolic and mathematical -- History Lattice theory -- History Fun...

Weaving self-evidence : a sociology of logic : [hardcover] : pbk

Weaving self-evidence : a sociology of logic : [hardcover] : pbk
紙図書
Claude Rosental ; translated by Catherine PorterPrinceton University Pressc2008
全国の図書館
  • 件名...Social aspects Logic, Symbolic and mathematical -- History -- 20th century
  • 件名（識別子）...Social aspects Logic, Symbolic and mathematical -- History -- 20th century

Propositions, functions, and analysis : selected essays on Russell's philosophy : pbk

Propositions, functions, and analysis : selected essays on Russell's philosophy : pbk
紙図書
Peter HyltonClarendon Press2008
全国の図書館
  • 件名...- 20th century Logic, Symbolic and mathematical -- History -- 20th century
  • 件名（識別子）...- 20th century Logic, Symbolic and mathematical -- History -- 20th century

From Peirce to Skolem : a neglected chapter in the history of logic 1st ed

From Peirce to Skolem : a neglected chapter in the history of logic 1st ed
紙図書
Geraldine BradyElsevier2000
全国の図書館
  • 件名Logic, Symbolic and mathematical -- History -- 19th century Logic, Symbolic and mathematical -- History -- 20th century
  • 件名（識別子）Logic, Symbolic and mathematical -- History -- 19th century Logic, Symbolic and mathematical -- History -- 20th century

Thought and logic : the debates between German-speaking philosophers and symbolic logicians at the turn of the 20th century

Thought and logic : the debates between German-speaking philosophers and symbolic logicians at the turn of the 20th century
紙図書
Jarmo PulkkinenPeter Langc2005
全国の図書館
  • 件名Logic, Symbolic and mathematical -- History -- 19th centur......- 19th century Logic, Symbolic and mathematical -- History -- 20th century Logic -- Euro...
  • 件名（識別子）Logic, Symbolic and mathematical -- History -- 19th centur......- 19th century Logic, Symbolic and mathematical -- History -- 20th century Logic -- Euro...

Perspectives on the history of mathematical logic : us : sz

Perspectives on the history of mathematical logic : us : sz
紙図書
Thomas Drucker, editorBirkhäuserc1991
全国の図書館
  • 件名Logic, Symbolic and mathematical -- History
  • 件名（識別子）Logic, Symbolic and mathematical -- History

Propositions, functions, and analysis : selected essays on Russell's philosophy

Propositions, functions, and analysis : selected essays on Russell's philosophy
紙図書
Peter HyltonClarendon Press2005
全国の図書館
  • 件名...- 20th century Logic, Symbolic and mathematical -- History -- 20th century
  • 件名（識別子）...- 20th century Logic, Symbolic and mathematical -- History -- 20th century

History of mathematical logic from Leibniz to Peano [by] N. I. Styazhkin.

History of mathematical logic from Leibniz to Peano [by] N. I. Styazhkin.
紙図書
M.I.T. Press[c1969]<H35-44>
国立国会図書館
  • 件名Logic, Symbolic and mathematical -- History.

Phénoménologies et langues formulaires

Phénoménologies et langues formulaires
紙図書
Claude ImbertPresses universitaires de Francec1992
全国の図書館
  • 件名...uage and logic Logic, Symbolic and mathematical -- History Formalization (Philosophy) Ph...
  • 件名（識別子）...uage and logic Logic, Symbolic and mathematical -- History Formalization (Philosophy) Ph...

The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel : pbk

The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel : pbk
紙図書
I. Grattan-GuinnessPrinceton University Pressc2000
全国の図書館
  • 件名...- 20th century Logic, Symbolic and mathematical -- History -- 19th century Logic, Symbolic and mathematical -- History -- 20th century
  • 件名（識別子）...- 20th century Logic, Symbolic and mathematical -- History -- 19th century Logic, Symbolic and mathematical -- History -- 20th century

The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel

The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel
紙図書
I. Grattan-GuinnessPrinceton University Pressc2000
全国の図書館
  • 件名...- 20th century Logic, Symbolic and mathematical -- History -- 19th century Logic, Symbolic and mathematical -- History -- 20th century
  • 件名（識別子）...- 20th century Logic, Symbolic and mathematical -- History -- 19th century Logic, Symbolic and mathematical -- History -- 20th century

Russell's hidden substitutional theory

Russell's hidden substitutional theory
紙図書
Gregory LandiniOxford University Press1998
全国の図書館
  • 件名...- 20th century Logic, Symbolic and mathematical -- History -- 20th century
  • 件名（識別子）...- 20th century Logic, Symbolic and mathematical -- History -- 20th century

The threat of logical mathematism : a study on the critique of mathematical logic in Germany at the turn of the 20th century

The threat of logical mathematism : a study on the critique of mathematical logic in Germany at the turn of the 20th century
紙図書
Jarmo PulkkinenP. Langc1994
全国の図書館
  • 件名Logic, Symbolic and mathematical -- History -- 19th century Logic -- Germ...
  • 件名（識別子）Logic, Symbolic and mathematical -- History -- 19th century Logic -- Germ...

Logic and philosophy in the Lvov-Warsaw school

Logic and philosophy in the Lvov-Warsaw school
紙図書
Jan WolenskiKluwer Academic Publishersc1989
全国の図書館
  • 件名...phy -- History Logic, Symbolic and mathematical -- History -- 20th century
  • 件名（識別子）...phy -- History Logic, Symbolic and mathematical -- History -- 20th century

Boole : 1815-1864 : l'oiseau de nuit en plein jour

Boole : 1815-1864 : l'oiseau de nuit en plein jour
紙図書
par Souleymane Bachir Diagne ; avec des notes et annexes de Marie-José DurandBelinc1989
全国の図書館
  • 件名...n -- Biography Logic, Symbolic and mathematical -- History Algebra, Boolean -- History B...
  • 件名（識別子）...n -- Biography Logic, Symbolic and mathematical -- History Algebra, Boolean -- History B...
RSS