Proof theory / / Herman Ruge Jervell.
Saved in:
VerfasserIn: | |
---|---|
Place / Publishing House: | Berlin : : Logos Verlag Berlin,, [2012] 2012 |
Year of Publication: | 2012 |
Language: | English |
Series: | Compact Companion ;
3 |
Online Access: | |
Physical Description: | 1 online resource (131 pages). |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Ways of Proof Theory / / ed. by Ralf Schindler.
Published: ([2013]) -
Ways of proof theory / Ralf Schindler (ed.).
by: Schindler, Ralf.
Published: (2010.) -
Proof theory : : sequent calculi and related formalisms / / Katalin Bimbo.
by: Bimbo, Katalin,
Published: (2015.) -
Proof and computations / Helmut Schwichtenberg, Stanley S. Wainer.
by: Schwichtenberg, Helmut,
Published: (2012.) -
Godel's Proof / / Ernest Nagel, James R. Newman.
by: Nagel, Ernest,
Published: ([2001])