Yazar
Jan Krajicek
10 cilt bulundu.
Jan Krajíček · Cambridge University Press
343 sayfa · 1995
Computational complexity / Proposition (Logic) / Constructive mathematics
Jan Krajíček · Cambridge University Press
247 sayfa · 2011
Computational complexity / Random variables / Mathematical analysis / Proof theory / Variables (mathematics)
Peter Clote, Jan Krajíček · Oxford University Press
428 sayfa · 1993
Computational complexity / Proof theory
Logic Colloquium (2001 Vienna, Austria), Matthias Baaz, Jan Krajicek, Austria) Logic Colloquium (2001 Vienna · A K Peters, Ltd.
496 sayfa · 2005
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Mathematical logic / Mathematics
Peter Clote, Jan Krajíček · Oxford University Press
428 sayfa · 1993
Computational complexity / Proof theory
Jan Krajicek, G. C. Rota, B. Doran, M. Ismail, T. Y. Lam · Cambridge University Press
361 sayfa · 1995
Kategori yok