Grafika:Logmat29.pdf
From Zakład Logiki Stosowanej
Logmat29.pdf (280KB, typ MIME: application/pdf
)
KRP z symbolami funkcyjnymi. Teorie aksjomatyczne w języku KRP.
Historia pliku
Legend: (bież) - to jest bieżący plik, (usuń) - usuń starszą wersję, (przywróć) - przywróc starszą wersję.
Kliknij na datę aby zobaczyć przesłany plik.
- (usuń) (bież) 07:26, 28 maj 2007 . . Pogonowski (Dyskusja | wkład) . . 0×0 (286 493 bajtów) (Logika Matematyczna. I JiIN. Język KRP z symbolami funkcyjnymi. Teorie aksjomatyczne w języku KRP)
- (usuń) (przywróć) 23:04, 23 maj 2007 . . Pogonowski (Dyskusja | wkład) . . 0×0 (282 688 bajtów) (KRP z symbolami funkcyjnymi. Teorie aksjomatyczne w języku KRP.)
- Edytuj ten plik używając zewnętrznej aplikacji
Zobacz więcej informacji o używaniu zewnętrznych edytorów.
Odnośniki do pliku
Żadna strona nie odwołuje się do tego pliku.