Proofs of the cantor-bernstein theorem : a mathematical excursion /

Proofs of the cantor-bernstein theorem : a mathematical excursion /

This book offers an excursion through the developmental area of research mathematics. It presents some 40 papers, published between the 1870s and the 1970s, on proofs of the Cantor-Bernstein theorem and the related Bernstein division theorem. While the emphasis is placed on providing accurate proofs...

保存先:

書誌詳細
第一著者:	Hinkis, Arie (著者)
団体著者:	SpringerLink (Online service)
フォーマット:	eBook
言語:	English
出版事項:	Basel Springer Basel 2013.
シリーズ:	Science Networks. Historical Studies 45
主題:	Mathematics. Algebra. Logic, Symbolic and mathematical.
オンライン･アクセス:	Click here to view the full text content
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Theorems, corollaries, lemmas and methods of proof /
著者:: Rossi, Richard J.
出版事項: (2006)

Theorems, corollaries, lemmas and methods of proof /
著者:: Rossi, Richard J.
出版事項: (2006)

A logical introduction to proof /
著者:: Cunningham, Daniel W.
出版事項: (2012)

Problems and theorems in classical set theory
著者:: KomjÃ¡th, PÃ©ter
出版事項: (2006)

A transition to mathematics with proofs
著者:: Cullinane, Michael J.
出版事項: (2013)

A transition to mathematics with proofs
著者:: Cullinane, Michael J.
出版事項: (2013)

Introduction to mathematical structures and proofs /
著者:: Gerstein, Larry J.
出版事項: (2012)

How to read and do proofs : an introduction to mathematical thought processes /
著者:: Solow, Daniel
出版事項: (2002)

Duality theories for boolean algebras with operators /
著者:: Givant, Steven
出版事項: (2014)

Cardinal invariants on Boolean Algebras : Second Revised Edition /
著者:: Monk, J. Donald
出版事項: (2014)

Introduction to boolean algebras
著者:: Givant, Steven
出版事項: (2009)

Bridge to abstract mathematics : mathematical proof and structures /
著者:: Morash,Ronald P.
出版事項: (1991)

Proofs and algorithms : an introduction to logic and computability /
著者:: Dowek, Gilles
出版事項: (2011)

A course on mathematical logic /
著者:: Srivastava, Shashi Mohan
出版事項: (2013)

Transition to higher mathematics : structure and proof /
著者:: Dumas, Bob A.
出版事項: (2007)

Excursions in the history of mathematics
著者:: Kleiner, Israel
出版事項: (2012)

How to read and do proofs : an introduction to mathematical thought processes /
著者:: Solow, Daniel
出版事項: (2002)

Adapting proofs-as-programs the curry-howard protocol /
著者:: Poernomo, Iman Hafiz
出版事項: (2005)

A Course in mathematical Logic for mathematicians
著者:: Manin, Yu. I.
出版事項: (2010)

Bridge to abstract mathematics : mathematical proof and structures /
著者:: Morash,Ronald P.
出版事項: (1991)

A Course on Mathematical Logic
著者:: Srivastava, S. M.
出版事項: (2008)

A mathematical introduction to logic /
著者:: Enderton, Herbert B.
出版事項: (2001)

Lecture notes on o-minimal structures and real analytic geometry /
出版事項: (2012)

A concise introduction to pure mathematics /
著者:: Liebeck, Martin
出版事項: (2006)

A concise introduction to pure mathematics /
著者:: Liebeck, Martin
出版事項: (2010)

A concise introduction to pure mathematics /
著者:: Liebeck, M. W. (Martin W.), 1954-
出版事項: (2006)

A concise introduction to mathematical logic /
著者:: Rautenberg, Wolfgang
出版事項: (2006)

Mathematical logic /
著者:: Shoenfield, Joseph R.
出版事項: (1967)

Mathematical logic /
出版事項: (2001)

Mathematical logic /
著者:: Chiswell, Ian, 1948-
出版事項: (2007)

A concise introduction to pure mathematics /
著者:: Liebeck, M. W.
出版事項: (2016)

Introduction to mathematical logic /
著者:: Walicki, Michał
出版事項: (2012)

Introduction to mathematical logic /
著者:: Mendelson, Elliott
出版事項: (2010)

Introduction to mathematical logic /
著者:: Mendelson, Elliott
出版事項: (1997)

Additive number theory festschrift in honor of the sixtieth birthday of Melvyn B. Nathanson /
出版事項: (2010)

An invitation to abstract mathematics /
著者:: Bajnok, Bela
出版事項: (2013)

Journal of mathematical logic.
出版事項: (2001)

Logic for mathematics and computer science /
著者:: Burris, Stanley N.
出版事項: (1998)

Mathematical logic in the 20th century /
出版事項: (2003)

Problems and proofs in numbers and algebra /
著者:: Millman, Richard S., 等
出版事項: (2015)