skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Index

37 Results  for Everything (Includes Articles)

Refined by: Subject: Mathematics remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The conceptual roots of mathematics an essay on the philosophy of mathematics
Material Type:
Book
Add to e-Shelf

The conceptual roots of mathematics an essay on the philosophy of mathematics

J. R. Lucas (John Randolph), 1929-

2000

Online access

2
Thinking about mathematics : the philosophy of mathematics
Material Type:
Book
Add to e-Shelf

Thinking about mathematics : the philosophy of mathematics

Stewart Shapiro 1951-

2000

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 8.4 .S532 2000 )()

3
Pythagoras revived mathematics and philosophy in late antiquity
Material Type:
Book
Add to e-Shelf

Pythagoras revived mathematics and philosophy in late antiquity

Dominic J. O'Meara

1989

Online access

4
The history of mathematics : a brief course
Material Type:
Book
Add to e-Shelf

The history of mathematics : a brief course

Roger Cooke 1942- author.

3rd ed.. 2013

Online access

5
Beyond measure a guided tour through nature, myth, and number
Material Type:
Book
Add to e-Shelf

Beyond measure a guided tour through nature, myth, and number

Jay. Kappraff

c2002

Online access

6
Pi in the sky : counting, thinking, and being
Material Type:
Book
Add to e-Shelf

Pi in the sky : counting, thinking, and being

John D. Barrow 1952-

1992

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 36 .B37 1992 )()

7
Quantum philosophy understanding and interpreting contemporary science
Material Type:
Book
Add to e-Shelf

Quantum philosophy understanding and interpreting contemporary science

Roland. Omnès

c1999

Online access

8
There's Something About Gdel The Complete Guide to the Incompleteness Theorem
Material Type:
Book
Add to e-Shelf

There's Something About Gdel The Complete Guide to the Incompleteness Theorem

Francesco. Berto

2009

Online access

9
Material Type:
Article
Add to e-Shelf

Gödel, Gentzen, Goodstein: The Magic Sound of a G-String

Plato, Jan

The Mathematical Intelligencer, 2014, Vol.36(4), pp.22-27 [Peer Reviewed Journal]

Full text available

View all versions
10
Material Type:
Article
Add to e-Shelf

From Axiomatic Logic to Natural Deduction

Plato, Jan

Studia Logica, 2014, Vol.102(6), pp.1167-1184 [Peer Reviewed Journal]

Full text available

11
Material Type:
Article
Add to e-Shelf

Martin Davis on Computability, Computational Logic, and Mathematical Foundations by E. Omodeo and A. Policriti (eds.)

Jan Von Plato

Mathematical Intelligencer, May 2018, pp.1-3 [Peer Reviewed Journal]

Full text available

12
Material Type:
Article
Add to e-Shelf

GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE

Von Plato, Jan

The Bulletin of Symbolic Logic, 1 December 2014, Vol.20(4), pp.417-448 [Peer Reviewed Journal]

Full text available

13
Material Type:
Article
Add to e-Shelf

The regularizing properties of multistep methods for first kind Volterra integral equations with smooth kernels

Plato, Robert

Full text available

14
Material Type:
Article
Add to e-Shelf

The repeated midpoint rule for weakly singular Volterra integral equations of the first kind with perturbed data

Plato, Robert

Full text available

15
Material Type:
Article
Add to e-Shelf

Converse results, saturation and quasi-optimality for Lavrentiev regularization of accretive problems

Plato, Robert

Full text available

16
Material Type:
Article
Add to e-Shelf

Combinatorial analysis of proofs in projective and affine geometry

Von Plato, Jan

Annals of Pure and Applied Logic, 2010, Vol.162(2), pp.144-161 [Peer Reviewed Journal]

Full text available

17
Material Type:
Article
Add to e-Shelf

Convergence rates of a penalized variational inequality method for nonlinear monotone ill-posed equations in Hilbert spaces

Plato, Robert ; Hofmann, Bernd

Full text available

18
Material Type:
Article
Add to e-Shelf

On ill-posedness concepts, stable solvability and saturation

Hofmann, Bernd ; Plato, Robert

Full text available

19
Material Type:
Article
Add to e-Shelf

Skolem's Discovery of Gödel-Dummett Logic

von Plato, Jan

Studia Logica, 2003, Vol.73(1), pp.153-157 [Peer Reviewed Journal]

Full text available

View all versions
20
Material Type:
Article
Add to e-Shelf

The Method of Conjugate Residuals for Solving the Galerkin Equations Associated with Symmetric Positive Semidefinite Ill-Posed Problems

Plato, R.

SIAM Journal on Numerical Analysis, Aug 1998, Vol.35(4), p.25 [Peer Reviewed Journal]

Full text available

View all versions
21
Material Type:
Article
Add to e-Shelf

A constructive theory of ordered affine geometry

Von Plato, J.

Indagationes Mathematicae, 1998, Vol.9(4), pp.549-562 [Peer Reviewed Journal]

Full text available

22
Commentationes mathematico-philologicae tres: sistentes explicationem duorum locorum difficilium, alterius Virgilii, alterius Platonis, itemque examinationem duorum mensuarum praeceptorum Columellae. Adiecta est epistola ad virum clarissimum I. G. Schneider ... de excerptis geometricis Epaphrodite et Vitruvii Rufi
Material Type:
Book
Add to e-Shelf

Commentationes mathematico-philologicae tres: sistentes explicationem duorum locorum difficilium, alterius Virgilii, alterius Platonis, itemque examinationem duorum mensuarum praeceptorum Columellae. Adiecta est epistola ad virum clarissimum I. G. Schneider ... de excerptis geometricis Epaphrodite et Vitruvii Rufi

Mollweide, Karl Brandan Epaphroditus ; Rufus, Vitruvius ; Columella, Lucius Junius Moderatus ; Plato ; Virgil

1813

Full text available

23
Material Type:
Article
Add to e-Shelf

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, and Charles L. Harper, Jr. (eds.)

Plato, Jan

The Mathematical Intelligencer, 2013, Vol.35(2), pp.70-73 [Peer Reviewed Journal]

Full text available

View all versions
24
Material Type:
Article
Add to e-Shelf

Elements of Logical Reasoning

Von Plato, Jan

Mathematical Intelligencer, Vol.37(2), p.108 [Peer Reviewed Journal]

Summer 2015

Full text available

View all versions
25
Material Type:
Article
Add to e-Shelf

GENTZEN'S PROOF SYSTEMS: BYPRODUCTS IN A WORK OF GENIUS

Von Plato, Jan

The Bulletin of Symbolic Logic, 1 September 2012, Vol.18(3), pp.313-367 [Peer Reviewed Journal]

Full text available

26
Material Type:
Article
Add to e-Shelf

In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs

Von Plato, Jan

The Bulletin of Symbolic Logic, 1 June 2007, Vol.13(2), pp.189-225 [Peer Reviewed Journal]

Full text available

27
Material Type:
Article
Add to e-Shelf

Sequent Calculus in Natural Deduction Style

Negri, Sara ; Von Plato, Jan

The Journal of Symbolic Logic, 1 December 2001, Vol.66(4), pp.1803-1816 [Peer Reviewed Journal]

Full text available

28
Material Type:
Article
Add to e-Shelf

Gentzen's Proof of Normalization for Natural Deduction

Von Plato, Jan ; Gentzen, G. ; Jan Von Plato ; G. Gentzen

The Bulletin of Symbolic Logic, 1 June 2008, Vol.14(2), pp.240-257 [Peer Reviewed Journal]

Full text available

29
Material Type:
Article
Add to e-Shelf

The axioms of constructive geometry

Von Plato, Jan

Annals of Pure and Applied Logic, 1995, Vol.76(2), pp.169-200 [Peer Reviewed Journal]

Full text available

View all versions
30
Material Type:
Article
Add to e-Shelf

On a minimax equality for seminorms

Grigorieff, R.D. ; Plato, R.

Linear Algebra and Its Applications, 1995, Vol.221, pp.227-243 [Peer Reviewed Journal]

Full text available

View all versions
31
Material Type:
Article
Add to e-Shelf

Cut Elimination in the Presence of Axioms

Negri, Sara ; Von Plato, Jan

The Bulletin of Symbolic Logic, 1 December 1998, Vol.4(4), pp.418-435 [Peer Reviewed Journal]

Full text available

32
Material Type:
Review
Add to e-Shelf

David Hilbert's lectures on the foundations of arithmetic and logic 1917–1933 (Book Review)

Von Plato, Jan

The Bulletin of Symbolic Logic, 1 September 2014, Vol.20(3), pp.363-365 [Peer Reviewed Journal]

Full text available

33
Material Type:
Review
Add to e-Shelf

David Hilbert's Lectures on the Foundations of Geometry 1891-1902 (Book Review)

Von Plato, Jan

The Bulletin of Symbolic Logic, 1 September 2006, Vol.12(3), pp.492-494 [Peer Reviewed Journal]

Full text available

34
Material Type:
Review
Add to e-Shelf

Kurt Gödel Collected Works IV-V: Correspondence (Book Review)

Von Plato, Jan

The Bulletin of Symbolic Logic, 1 December 2004, Vol.10(4), pp.558-563 [Peer Reviewed Journal]

Full text available

35
Material Type:
Review
Add to e-Shelf

Proof Theory, History and Philosophical Significance (Book Review)

Von Plato, Jan

The Bulletin of Symbolic Logic, 1 September 2002, Vol.8(3), pp.431-432 [Peer Reviewed Journal]

Full text available

36
Material Type:
Review
Add to e-Shelf

Ptolemy's Almagest (Book Review)

Von Plato, Jan

Isis, 1 March 2001, Vol.92(1), pp.149-150 [Peer Reviewed Journal]

Full text available

37
Material Type:
Review
Add to e-Shelf

Mystic, Geometer, and Intuitionist. The Life of L. E. J. Brouwer. Volume 1. The Dawning Revolution (Book Review)

Von Plato, Jan

The Bulletin of Symbolic Logic, 1 March 2001, Vol.7(1), pp.62-65 [Peer Reviewed Journal]

Full text available

37 Results  for Everything (Includes Articles)

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Material Type 

  1. Articles  (22)
  2. Books  (9)
  3. Reviews  (6)
  4. More options open sub menu

Publication Date 

From To
  1. Before 1998  (5)
  2. 1998 To 2001  (9)
  3. 2002 To 2006  (5)
  4. 2007 To 2012  (5)
  5. After 2012  (13)
  6. More options open sub menu