Peter Harpending 6201d20629 [en][§5] Start writing section about NQ bijection. před 10 roky
..
1-introduction.ltx 358ef4701e [en] Add a "this is the required knowledge" section. před 10 roky
2-boolean-algebra.ltx c0979aa63c [en][§2] Add some exercises před 10 roky
3-sets.ltx e7c8fc4b00 [en][§3] Redo wording in "sets are easier" note. před 10 roky
4-functions.ltx e5427383f5 [en] Add a label to the piecewise functions section. před 10 roky
5-more-sets.ltx 6201d20629 [en][§5] Start writing section about NQ bijection. před 10 roky
6-zfc.ltx bf0edb7025 [en][§5] Move stuff about NZ-correspondence to §6 před 10 roky