zbMath0275.02018MaRDI QIDQ5183471
Ivan Kramosil
Publication date: 1973
Full work available at URL: https://eudml.org/doc/28360
Mathematics Subject Classification ID
Applications of statistics (62P99) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) General logic (03B99)
Related Items