年 〜
年

検索結果 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.
紙図書
Oxford University Press2010.<MA41-B31>
国立国会図書館
  • 著者標目Mancosu, Paolo.

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

An introduction to proof theory : normalization, cut-elimination, and consistency proofs
紙図書
Paolo Mancosu, Sergio Galvan, Richard ZachOxford University Press2021
全国の図書館

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

An introduction to proof theory : normalization, cut-elimination, and consistency proofs : pbk
紙図書
Paolo Mancosu, Sergio Galvan, Richard ZachOxford University Press2021
全国の図書館

Moscow has ears everywhere : new investigations on Pasternak and Ivinskaya

Moscow has ears everywhere : new investigations on Pasternak and Ivinskaya
紙図書
Paolo MancosuHoover Institution Press2019
全国の図書館

Abstraction and infinity : pbk

Abstraction and infinity : pbk
紙図書
Paolo MancosuOxford University Press2019
全国の図書館

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

Zhivago's secret journey : from typescript to book : cloth
紙図書
Paolo MancosuHoover Institution Press, Stanford Universityc2016
全国の図書館

Abstraction and infinity

Abstraction and infinity
紙図書
Paolo MancosuOxford University Press2016
全国の図書館

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

Inside the Zhivago storm : the editorial adventures of Pasternak's masterpiece
紙図書
Paolo MancosuFeltrinelli2013
全国の図書館

The philosophy of mathematical practice : pbk

The philosophy of mathematical practice : pbk
紙図書
Paolo MancosuOxford University Press2011
全国の図書館

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
紙図書
Paolo MancosuOxford University Press2010
全国の図書館

The philosophy of mathematical practice : hbk

The philosophy of mathematical practice : hbk
紙図書
Paolo MancosuOxford University Press2008
全国の図書館

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

Visualization, explanation and reasoning styles in mathematics : hbk : e-book
紙図書
edited by Paolo Mancosu, Klaus Frovin Jørgensen and Stig Andur PedersenSpringerc2005
全国の図書館

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

Philosophy of mathematics and mathematical practice in the seventeenth century : pbk
紙図書
Paolo MancosuOxford University Press1999, c1996
全国の図書館

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
紙図書
[edited by] Paolo MancosuOxford University Press1998
全国の図書館

Philosophy of mathematics and mathematical practice in the seventeenth century

Philosophy of mathematics and mathematical practice in the seventeenth century
紙図書
Paolo MancosuOxford University Press1996
全国の図書館

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.]
マイクロ図書
Paolo MancosuU.M.I.1989
全国の図書館

検索結果は以上です。