Works matching IS 09425616 AND DT 1979 AND VI 25 AND IP 25-29
Results: 10
A New Proof that π.
- Published in:
- Mathematical Logic Quarterly, 1979, v. 25, n. 25-29, p. 407, doi. 10.1002/malq.19790252504
- By:
- Publication type:
- Article
On Fuzzy Logic III. Semantical completeness of some many-valued propositional calculi.
- Published in:
- Mathematical Logic Quarterly, 1979, v. 25, n. 25-29, p. 447, doi. 10.1002/malq.19790252510
- By:
- Publication type:
- Article
Extensions Respectueuses de Chaines.
- Published in:
- Mathematical Logic Quarterly, 1979, v. 25, n. 25-29, p. 423, doi. 10.1002/malq.19790252508
- By:
- Publication type:
- Article
Truth in All of Certain Well-Founded Countable Models Arising in Set Theory II.
- Published in:
- Mathematical Logic Quarterly, 1979, v. 25, n. 25-29, p. 403, doi. 10.1002/malq.19790252503
- By:
- Publication type:
- Article
Characterizing Second Order Logic with First Order Quantifiers.
- Published in:
- Mathematical Logic Quarterly, 1979, v. 25, n. 25-29, p. 419, doi. 10.1002/malq.19790252507
- By:
- Publication type:
- Article
Automorphisms of the Lattice of Recursively Enumerable Vector Spaces.
- Published in:
- Mathematical Logic Quarterly, 1979, v. 25, n. 25-29, p. 385, doi. 10.1002/malq.19790252502
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1979, v. 25, n. 25-29, p. fmi, doi. 10.1002/malq.19790252501
- Publication type:
- Article
Equivalence of some Hierarchies of Primitive Recursive Functions.
- Published in:
- Mathematical Logic Quarterly, 1979, v. 25, n. 25-29, p. 411, doi. 10.1002/malq.19790252506
- By:
- Publication type:
- Article
Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic.
- Published in:
- Mathematical Logic Quarterly, 1979, v. 25, n. 25-29, p. 409, doi. 10.1002/malq.19790252505
- By:
- Publication type:
- Article
The Functional Completeness of Post's m-Valued Propositional Calculus.
- Published in:
- Mathematical Logic Quarterly, 1979, v. 25, n. 25-29, p. 445, doi. 10.1002/malq.19790252509
- By:
- Publication type:
- Article