Report copyright - Matematická logika - Lekce 5: Axiomatizace predikátové logiky · Na jazyku opet moc nezáležíˇ Lemma 5.2 Pro každý jazyk Pa každou -teorii T [f’gjsou následující ekvivaletní:
Please pass captcha verification before submit form
Please pass captcha verification before submit form