Mod, Th és Cons az elsőrendű logikában

New channel Szabolcs Iván: title sample judged 'pick' (Mostly rigorous university-level lectures on logic, algorithms and complexity theory, but mixed with a substantial numbe); passed a second screen for sellers/exam-prep/re-uploads; 0 of 3 sampled transcripts showed teaching, 0 not; titles picked one by one, checked strictly; oEmbed verified.