Works matching IS 09425616 AND DT 1969 AND VI 15 AND IP 7-12
Results: 12
Sheffer functions for many-valued S5 modal logics.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 7-12, p. 101, doi. 10.1002/malq.19690150702
- By:
- Publication type:
- Article
ÜBER EINE VERALLGEMEINERUNG DER ROBINSONSCHEN MODELLVERVOLLSTÄNDIGUNG. II. ABGESCHLOSSENE ALGEBREN.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 7-12, p. 123, doi. 10.1002/malq.19690150706
- By:
- Publication type:
- Article
A comment on a paper by evans.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 7-12, p. 97, doi. 10.1002/malq.19690150701
- By:
- Publication type:
- Article
Strong enumeration properties of recursively enumerable classes.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 7-12, p. 181, doi. 10.1002/malq.19690150712
- By:
- Publication type:
- Article
On the number of ultrafilters of an infinite boolean algebra.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 7-12, p. 121, doi. 10.1002/malq.19690150705
- By:
- Publication type:
- Article
On a paper of akira nakamura.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 7-12, p. 155, doi. 10.1002/malq.19690150709
- By:
- Publication type:
- Article
EIN VERFAHREN ZUR UMFORMUNG EINER LINEAREN NEBENBEDINGUNG IN EINE ÄQUIVALENTE ALTERNATIVE NORMALFORM.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 7-12, p. 163, doi. 10.1002/malq.19690150711
- By:
- Publication type:
- Article
A form of herbrand's theorem.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 7-12, p. 107, doi. 10.1002/malq.19690150704
- By:
- Publication type:
- Article
A simplification of takeuti's ordinal diagrams of finite order.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 7-12, p. 141, doi. 10.1002/malq.19690150708
- By:
- Publication type:
- Article
The degrees of bi-immune sets.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 7-12, p. 135, doi. 10.1002/malq.19690150707
- By:
- Publication type:
- Article
ÜBER DIE KATEGORISIERBARKEIT GEWISSER KÖRPER IN NICHT-ELEMENTAREN LOGIKEN.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 7-12, p. 157, doi. 10.1002/malq.19690150710
- By:
- Publication type:
- Article
Some many-valued propositional calculi without single generators.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 7-12, p. 105, doi. 10.1002/malq.19690150703
- By:
- Publication type:
- Article