Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Princeton University Pressc2008.<M22-B35>
National Diet Library
  • Subject Heading...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.
Paper図書
Jan von PlatoPrinceton University Press2017
Other Libraries in Japan
  • Subject HeadingMathematics -- History Logic, Symbolic and mathematical -- History Computer science -- Mathemati...
  • Subject Heading (ID)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)
Paper図書
Vandenhoeck & Ruprechtc1990.<H151-A11>
National Diet Library

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)
Paper図書
Kluwer Academic Publishersc1989.<HD175-A6>
National Diet Library
  • Subject Heading...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)
Paper図書
Kluwer Academic Publishersc1990.<HD35-A15>
National Diet Library
  • Subject Heading...ce. Syllogism. Logic, Symbolic and mathematical -- History -- 19th century.

Hausdorff on ordered sets : pbk

Hausdorff on ordered sets : pbk
Paper図書
J.M. Plotkin, editor ; translated by J.M. PlotkinAmerican Mathematical Societyc2005
Other Libraries in Japan
  • Subject Heading...lix, 1868-1942 Logic, Symbolic and mathematical -- History Lattice theory -- History Fun...
  • Subject Heading (ID)...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
Paper図書
Claude Rosental ; translated by Catherine PorterPrinceton University Pressc2008
Other Libraries in Japan
  • Subject Heading...Social aspects Logic, Symbolic and mathematical -- History -- 20th century
  • Subject Heading (ID)...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
Paper図書
Peter HyltonClarendon Press2008
Other Libraries in Japan
  • Subject Heading...- 20th century Logic, Symbolic and mathematical -- History -- 20th century
  • Subject Heading (ID)...- 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
Paper図書
Geraldine BradyElsevier2000
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- History -- 19th century Logic, Symbolic and mathematical -- History -- 20th century
  • Subject Heading (ID)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
Paper図書
Jarmo PulkkinenPeter Langc2005
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- History -- 19th centur......- 19th century Logic, Symbolic and mathematical -- History -- 20th century Logic -- Euro...
  • Subject Heading (ID)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
Paper図書
Thomas Drucker, editorBirkhäuserc1991
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- History
  • Subject Heading (ID)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
Paper図書
Peter HyltonClarendon Press2005
Other Libraries in Japan
  • Subject Heading...- 20th century Logic, Symbolic and mathematical -- History -- 20th century
  • Subject Heading (ID)...- 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.
Paper図書
M.I.T. Press[c1969]<H35-44>
National Diet Library
  • Subject HeadingLogic, Symbolic and mathematical -- History.

Phénoménologies et langues formulaires

Phénoménologies et langues formulaires
Paper図書
Claude ImbertPresses universitaires de Francec1992
Other Libraries in Japan
  • Subject Heading...uage and logic Logic, Symbolic and mathematical -- History Formalization (Philosophy) Ph...
  • Subject Heading (ID)...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
Paper図書
I. Grattan-GuinnessPrinceton University Pressc2000
Other Libraries in Japan
  • Subject Heading...- 20th century Logic, Symbolic and mathematical -- History -- 19th century Logic, Symbolic and mathematical -- History -- 20th century
  • Subject Heading (ID)...- 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
Paper図書
I. Grattan-GuinnessPrinceton University Pressc2000
Other Libraries in Japan
  • Subject Heading...- 20th century Logic, Symbolic and mathematical -- History -- 19th century Logic, Symbolic and mathematical -- History -- 20th century
  • Subject Heading (ID)...- 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
Paper図書
Gregory LandiniOxford University Press1998
Other Libraries in Japan
  • Subject Heading...- 20th century Logic, Symbolic and mathematical -- History -- 20th century
  • Subject Heading (ID)...- 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
Paper図書
Jarmo PulkkinenP. Langc1994
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- History -- 19th century Logic -- Germ...
  • Subject Heading (ID)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
Paper図書
Jan WolenskiKluwer Academic Publishersc1989
Other Libraries in Japan
  • Subject Heading...phy -- History Logic, Symbolic and mathematical -- History -- 20th century
  • Subject Heading (ID)...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
Paper図書
par Souleymane Bachir Diagne ; avec des notes et annexes de Marie-José DurandBelinc1989
Other Libraries in Japan
  • Subject Heading...n -- Biography Logic, Symbolic and mathematical -- History Algebra, Boolean -- History B...
  • Subject Heading (ID)...n -- Biography Logic, Symbolic and mathematical -- History Algebra, Boolean -- History B...
RSS