Proof and computations / Helmut Schwichtenberg, Stanley S. Wainer.
Saved in:
Superior document: | Perspectives in logic |
---|---|
: | |
TeilnehmendeR: | |
Year of Publication: | 2012 |
Language: | English |
Series: | Perspectives in logic.
|
Online Access: | |
Physical Description: | xiii, 465 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]) -
Godel's proof / Ernest Nagel and James R. Newman.
by: Nagel, Ernest,
Published: (2005.) -
Theory of computation / George Tourlakis.
by: Tourlakis, George J.
Published: (2012.) -
Proof, logic, and formalization / edited by Michael Detlefsen.
Published: (1992.) -
The nuts and bolts of proofs / Antonella Cupillari.
by: Cupillari, Antonella.
Published: (c2005.)