Tytuł:

O zagadnieniu rozstrzygalności w zakresie węższego rachunku funkcyjnego = (Über das Entscheidungsproblem des engeren logischen Funktionenkalküls)

Wariant tytułu:

Über das Entscheidungsproblem des engeren logischen Funktionenkalküls

Tom :

T.7

Twórca:

Pepis, Józef (1910–1941)

Data wydania:

1937

Wydawca:

Towarzystwo Naukowe ; Drukarnia Uniwersytetu Jagiellońskiego pod Zarządem J. Filipowskiego

Miejsce wydania:

Lwów ; Kraków

Opis:

Odb. z: Archiwum Towarzystwa Naukowego we Lwowie. Wydział 3, Matematyczno-Przyrodniczy. Tom 7, Zeszyt 8

Temat i słowa kluczowe:

rozstrzygalność (logika matematyczna) ; rachunek kwantyfikatorów

Język:

pol ; ger

Udostępniane przez:

Biblioteka Uniwersytecka w Poznaniu

Typ obiektu:

odbitka

Prawa:

domena publiczna

Prawa dostępu:

dla wszystkich bez ograniczeń

Digitalizacja:

Biblioteka Uniwersytecka w Poznaniu

Lokalizacja oryginału:

Biblioteka Uniwersytecka w Poznaniu