Jump to main content

yr 〜
yr

Search results 16

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 / Paolo Mancosu.

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 / Paolo Mancosu.
Paper図書
Oxford University Press2010.<MA41-B31>
National Diet Library
  • Author HeadingMancosu, Paolo.

An introduction to proof theory : normalization, cut-elimination, and consistency proofs

An introduction to proof theory : normalization, cut-elimination, and consistency proofs
Paper図書
Paolo Mancosu, Sergio Galvan, Richard ZachOxford University Press2021
Other Libraries in Japan
  • Author HeadingMancosu, Paolo Galvan, Sergio Zach, Richard

An introduction to proof theory : normalization, cut-elimination, and consistency proofs : pbk

An introduction to proof theory : normalization, cut-elimination, and consistency proofs : pbk
Paper図書
Paolo Mancosu, Sergio Galvan, Richard ZachOxford University Press2021
Other Libraries in Japan
  • Author HeadingMancosu, Paolo Galvan, Sergio Zach, Richard

Moscow has ears everywhere : new investigations on Pasternak and Ivinskaya

Moscow has ears everywhere : new investigations on Pasternak and Ivinskaya
Paper図書
Paolo MancosuHoover Institution Press2019
Other Libraries in Japan
  • Author HeadingMancosu, Paolo

Abstraction and infinity : pbk

Abstraction and infinity : pbk
Paper図書
Paolo MancosuOxford University Press2019
Other Libraries in Japan
  • Author HeadingMancosu, Paolo

Zhivago's secret journey : from typescript to book : cloth

Zhivago's secret journey : from typescript to book : cloth
Paper図書
Paolo MancosuHoover Institution Press, Stanford Universityc2016
Other Libraries in Japan
  • Author HeadingMancosu, Paolo

Abstraction and infinity

Abstraction and infinity
Paper図書
Paolo MancosuOxford University Press2016
Other Libraries in Japan
  • Author HeadingMancosu, Paolo

Inside the Zhivago storm : the editorial adventures of Pasternak's masterpiece

Inside the Zhivago storm : the editorial adventures of Pasternak's masterpiece
Paper図書
Paolo MancosuFeltrinelli2013
Other Libraries in Japan
  • Author HeadingMancosu, Paolo

The philosophy of mathematical practice : pbk

The philosophy of mathematical practice : pbk
Paper図書
Paolo MancosuOxford University Press2011
Other Libraries in Japan
  • Author HeadingMancosu, Paolo

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 : hbk

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 : hbk
Paper図書
Paolo MancosuOxford University Press2010
Other Libraries in Japan
  • Author HeadingMancosu, Paolo

The philosophy of mathematical practice : hbk

The philosophy of mathematical practice : hbk
Paper図書
Paolo MancosuOxford University Press2008
Other Libraries in Japan
  • Author HeadingMancosu, Paolo

Visualization, explanation and reasoning styles in mathematics : hbk : e-book

Visualization, explanation and reasoning styles in mathematics : hbk : e-book
Paper図書
edited by Paolo Mancosu, Klaus Frovin Jørgensen and Stig Andur PedersenSpringerc2005
Other Libraries in Japan
  • Author HeadingMancosu, Paolo Jørgensen, Klaus Frovin Peder...

Philosophy of mathematics and mathematical practice in the seventeenth century : pbk

Philosophy of mathematics and mathematical practice in the seventeenth century : pbk
Paper図書
Paolo MancosuOxford University Press1999, c1996
Other Libraries in Japan
  • Author HeadingMancosu, Paolo

From Brouwer to Hilbert : the debate on the foundations of mathematics in the 1920s : cloth : paper

From Brouwer to Hilbert : the debate on the foundations of mathematics in the 1920s : cloth : paper
Paper図書
[edited by] Paolo MancosuOxford University Press1998
Other Libraries in Japan
  • Author HeadingMancosu, Paolo

Philosophy of mathematics and mathematical practice in the seventeenth century

Philosophy of mathematics and mathematical practice in the seventeenth century
Paper図書
Paolo MancosuOxford University Press1996
Other Libraries in Japan
  • Author HeadingMancosu, Paolo

Generalizing classical and effective model theory in theories of operations and classes [Microfiche ed.]

Generalizing classical and effective model theory in theories of operations and classes [Microfiche ed.]
Microform図書
Paolo MancosuU.M.I.1989
Other Libraries in Japan
  • Author HeadingMancosu, Paolo

Reached to the end of result.

RSS