scientific article; zbMATH DE number 3388987

zbMath0246.02001MaRDI QIDQ5658069

Andrzej Grzegorczyk

Publication date: 1972

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mathematical logic and foundations (03-XX)

Related Items

Unnamed Item, Unnamed Item, A certain interpretation of the theory of rejected propositions, The decomposition calculus and its semantics, A reduction in the number of primitive concepts of phonology, On Lesniewski's elementary ontology, The research of Jaskowski on decidability theory of first order sentences, Theory of rejected propositions. I, Functions computable by a computer