Concepts of proof in mathematics, philosophy, and computer science / / edited by Dieter Probst and Peter Schuster.
Saved in:
Superior document: | Ontos Mathematical Logic, Volume 6 |
---|---|
Place / Publishing House: | Berlin, [Germany] ;, Boston, [Massachusetts] : : De Gruyter,, 2016. 2016 |
Year of Publication: | 2016 |
Language: | English |
Series: | Ontos mathematical logic ;
Volume 6. |
Online Access: | |
Physical Description: | 1 online resource (384 pages) :; illustrations, tables. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Similar Items
-
Concepts of Proof in Mathematics, Philosophy, and Computer Science / / ed. by Dieter Probst, Peter Schuster.
Published: ([2016]) -
Three Views of Logic : : Mathematics, Philosophy, and Computer Science / / Donald W. Loveland, S. G. Sterrett, Richard E. Hodel.
by: Loveland, Donald W.,
Published: ([2014]) -
Charming proofs : a journey into elegant mathematics / / Claudi Alsina, Roger B. Nelsen.
by: Alsina, Claudi.
Published: (c2010.) -
Reverse Mathematics : : Proofs from the Inside Out / / John Stillwell.
by: Stillwell, John,
Published: ([2018]) -
Proof in mathematics education : : research, learning and teaching / / David A. Reid, Christine Knipping.
by: Reid, David A.
Published: ([2010])