logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Logika, zadanie nr 889

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

anka2720
postów: 46
2013-01-18 12:21:49

Może ktoś wie jak pokazać, że mając aksjomaty LLHilberta reguły LLGentzena są wyprowadzalne? proszę o pomoc....

strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj