Forcing With Random Variables and Proof Complexity by Jan Krajicek (English) Pap
87,03 €
Personally, I find Krajicek's approach a highly stimulating collage of ideas. by Jan Krajicek. Author Jan Krajicek. The definition of the models; 2. Witnessing quantifiers; 4. The truth in N and the validity in K(F); Part II.
Jetzt bei Ebay:
