Ways of proof theory / Ralf Schindler (ed.).
Saved in:
: | |
---|---|
TeilnehmendeR: | |
Year of Publication: | 2010 |
Language: | English |
Series: | Ontos mathematical logic ;
v. 2 |
Online Access: | |
Physical Description: | v, 486 p. :; ill. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Ways of Proof Theory / / ed. by Ralf Schindler.
Published: ([2013]) -
Proof theory / / Herman Ruge Jervell.
by: Jervell, Herman Ruge,
Published: ([2012]) -
Proof theory : : sequent calculi and related formalisms / / Katalin Bimbo.
by: Bimbo, Katalin,
Published: (2015.) -
Godel's Proof / / Ernest Nagel, James R. Newman.
by: Nagel, Ernest,
Published: ([2001]) -
Proof and computations / Helmut Schwichtenberg, Stanley S. Wainer.
by: Schwichtenberg, Helmut,
Published: (2012.)