Title:

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

Title execution:

Über das Entscheidungsproblem des engeren logischen Funktionenkalküls

Volume:

T.7

Creator:

Pepis, Józef (1910–1941)

Publication date:

1937

Publisher:

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

Place of publication:

Lwów ; Kraków

Description:

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

Subject and Keywords:

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

Language:

pol ; ger

Rights Management:

Biblioteka Uniwersytecka w Poznaniu

Object type:

odbitka

Rights:

domena publiczna

Access rights:

dla wszystkich bez ograniczeń

Digitisation:

Biblioteka Uniwersytecka w Poznaniu

Location of original object:

Biblioteka Uniwersytecka w Poznaniu