Lukasiewicz and Symmetrical Heyting Algebras.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 7-12, p. 131, doi. 10.1002/malq.19770230706
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1977 AND VI 23 AND IP 7-12
Results: 9
1
2
Some Theories Having Countably Many Countable Models.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 7-12, p. 105, doi. 10.1002/malq.19770230703
- By:
- Publication type:
- Article
3
The Complexity of Some Combinatorial Constructions.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 7-12, p. 121, doi. 10.1002/malq.19770230705
- By:
- Publication type:
- Article
4
Arithmetische und Bairesche Operatoren.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 7-12, p. 181, doi. 10.1002/malq.19770230709
- By:
- Publication type:
- Article
5
Algebraic Characterizations of the Satisfiability of First-Order Logical Formulas and the Halting of Programs.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 7-12, p. 111, doi. 10.1002/malq.19770230704
- By:
- Publication type:
- Article
6
Combinatory Reductions and Lambda Reductions Compared.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 7-12, p. 169, doi. 10.1002/malq.19770230708
- By:
- Publication type:
- Article
7
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 7-12, p. fmi, doi. 10.1002/malq.19770230701
- Publication type:
- Article
8
A New Realizability Notion for Intuitionistic Analysis.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 7-12, p. 137, doi. 10.1002/malq.19770230707
- By:
- Publication type:
- Article
9
Completeness Theorems For Modal Model Theory With the Montague-Chang Semantics I.
- Published in:
- Mathematical Logic Quarterly, 1977, v. 23, n. 7-12, p. 97, doi. 10.1002/malq.19770230702
- By:
- Publication type:
- Article