Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies [electronic resource] / by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg. by
  • Buchholz, Wilfried [author.]
  • Feferman, Solomon [author.]
  • Pohlers, Wolfram [author.]
  • Sieg, Wilfried [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 897
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981
Online access:
Availability: No items available.
Add to cart
Proof Theory [electronic resource] : An Introduction / by Wolfram Pohlers. by
  • Pohlers, Wolfram [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1407
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989
Online access:
Availability: No items available.
Add to cart
Pages
(C) Powered by Koha

Powered by Koha