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