Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

AvW. Buchholz,S. Feferman

Häftad, Engelska, 1981

381 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Mer från samma serie

Del 1370

Algebraic Topology

Gunnar Carlsson, Ralph Cohen, Haynes R. Miller, Douglas C. Ravenel

Häftad, 1989

541 kr

Hoppa över listan

Du kanske också är intresserad av

Kurt Gödel: Collected Works

Kurt Gödel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort

Häftad, 2001

891 kr