Proof, logic, and formalization / edited by Michael Detlefsen.
Saved in:
: | |
---|---|
TeilnehmendeR: | |
Year of Publication: | 1992 |
Language: | English |
Online Access: | |
Physical Description: | x, 241 p. :; ill. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Proof theory / / Herman Ruge Jervell.
by: Jervell, Herman Ruge,
Published: ([2012]) -
Proof and computations / Helmut Schwichtenberg, Stanley S. Wainer.
by: Schwichtenberg, Helmut,
Published: (2012.) -
Godel's proof / Ernest Nagel and James R. Newman.
by: Nagel, Ernest,
Published: (2005.) -
The nuts and bolts of proofs / Antonella Cupillari.
by: Cupillari, Antonella.
Published: (c2005.) -
An introduction to mathematical proofs / / Nicholas A. Loehr.
by: Loehr, Nicholas A.,
Published: ([2020])