Pohlers, Wolfram.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Proof theory = the first step into impredicativity / by: Pohlers, Wolfram.; SpringerLink (Online service) (Electronic resources)

Subjects