Yazar
logic colloquium 1997 leeds
2 cilt bulundu.
Cilt sonuçları
Sets and proofs
Logic Colloquium (1997 Leeds, England) · Cambridge University Press
441 sayfa · 1999
Congresses / Set theory / Proof theory
Models and computabilty
Logic Colloquium '97 (1997 Leeds, England) · Cambridge University Press
419 sayfa · 1999
Computable functions / Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Models and modelmaking