iframe-proxy | Sunbelt Computer Software

80 lines (70 loc) · 1.95 KB

@BOOK{Lew85,
	AUTHOR = {Art Lew},
	TITLE = {Computer Science: A Mathematical Introduction},
	PUBLISHER = {Prenctice-Hall International},
	YEAR = {1985},
	Annotations = {Peano's axioms:
1. There exists a natural number @. (this symbol should be phi)
2. For each natural number, there exists another unique natural number (@')
   called the successor of @.
3. @ is not the successor of any natural number.
4. x'=y' implies x=y.
5. If & is a set of natural numbers such that 
   (a) & contains @.
   (b) & contains x' whenever it contains x,
   then & is the set of all natural numbers.
a+b may be defined as:
(i) a+b=a'+pred(b), for b#@,
(ii) a+@=a. }
@ARTICLE{Kolata76,
	AUTHOR = {Gina Bari Kolata},
	TITLE = {Mathematical proofs: the genesis of reasonable doubt},
	JOURNAL = {Science},
	YEAR = {1976},
	VOLUME = {192},
	PAGES = {989--990},
@BOOK{Polya65,
	AUTHOR = {G.~Polya},
	TITLE = {Mathematical discovery},
	PUBLISHER = {John Wiley \& Sons},
	YEAR = {1965},
	NOTE = {Two volumes}
@BOOK{Goodstein51,
	AUTHOR = {R.L.~Goodstein},
	TITLE = {{Constructive Formalism}},
	PUBLISHER = {University College, Leicester},
	YEAR = {1951},
@ARTICLE{Wilder44,
	AUTHOR = {R.L.~Widler},
	TITLE = {The nature of mathematical proof},
	JOURNAL = {The American Mathematical Monthly},
	YEAR = {1944},
	VOLUME = {51},
	PAGES = {309--323},
@BOOK{Math-Golden-Age,
     author = {{Keith Devlin}},
     title = {{Mathematics: The New Golden Age}}, 
     year = {1999},
     publisher = {Penguin Books \& Columbia University Press}},
     edition = {2$^{\textrm{\underline{a}}}$}
@BOOK{Emperor,
     author = {{Roger Penrose}},
     title = {{The Emperor's New Mind: Concerning Computers, Minds and The Laws of Physics}},
     year = {1989},
     publisher = {Oxford University Press}
@BOOK{Hall-ODonnel,
     author = {{Cordelia Hall, John O'Donnell}},
     title = {{Discrete Mathematics Using a Computer}},
     year = {2000},
     publisher = {Springer},

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

math.bib

Latest commit

History

math.bib

File metadata and controls