Proof theory : : sequent calculi and related formalisms / / Katalin Bimbo.
Saved in:
Superior document: | Discrete Mathematics and its Applications |
---|---|
VerfasserIn: | |
Place / Publishing House: | Boca Raton, Florida : : CRC Press,, 2015. 2015 |
Year of Publication: | 2015 |
Language: | English |
Series: | Discrete mathematics and its applications.
|
Online Access: | |
Physical Description: | 1 online resource (386 pages). |
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]) -
Ways of Proof Theory / / ed. by Ralf Schindler.
Published: ([2013]) -
Ways of proof theory / Ralf Schindler (ed.).
by: Schindler, Ralf.
Published: (2010.) -
Formalism and beyond : : on the nature of mathematical discourse / / edited by Godehard Link.
Published: ([2014]) -
Proof in mathematics education : : research, learning and teaching / / David A. Reid, Christine Knipping.
by: Reid, David A.
Published: ([2010])