Grafika:Furek11.pdf
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Furek11.pdf (217KB, typ MIME: application/pdf
)
Pogonowski (Dyskusja | wkład)
(Funkcje rekurencyjne, wykład 11: twierdzenie o niezupełności PA.)
Następna edycja →
Aktualna wersja
Funkcje rekurencyjne, wykład 11: twierdzenie o niezupełności PA.
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:30, 28 maj 2007 . . Pogonowski (Dyskusja | wkład) . . 0×0 (221 300 bajtów) (Funkcje rekurencyjne. Wykład 11. Niezupełność PA. Teorie rozstrzygalne i nierozstrzygalne.)
- (usuń) (przywróć) 23:08, 23 maj 2007 . . Pogonowski (Dyskusja | wkład) . . 0×0 (221 300 bajtów) (Funkcje rekurencyjne. Wykład 11. Twierdzenie o niezupełności PA.)
- (usuń) (przywróć) 08:39, 6 maj 2007 . . Pogonowski (Dyskusja | wkład) . . 0×0 (191 670 bajtów) (Funkcje rekurencyjne, wykład 11: twierdzenie o niezupełności PA.)
- 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.