Works matching IS 09425616 AND DT 1982 AND VI 28 AND IP 14-18
Results: 10
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 14-18, p. fmi, doi. 10.1002/malq.19820281401
- Publication type:
- Article
A Note on the Interpolation Theorem in First Order Logic.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 14-18, p. 215, doi. 10.1002/malq.19820281405
- By:
- Publication type:
- Article
On the Decidability of Propositional Algorithmic Logic.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 14-18, p. 247, doi. 10.1002/malq.19820281409
- By:
- Publication type:
- Article
An Isomorphism Type of Arithmetically Productive Sets.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 14-18, p. 211, doi. 10.1002/malq.19820281404
- By:
- Publication type:
- Article
Upper Bounds for Proof-Search in a Sequent Calculus for Relational Equations.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 14-18, p. 239, doi. 10.1002/malq.19820281408
- By:
- Publication type:
- Article
Automorphisms of Medial Fields.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 14-18, p. 263, doi. 10.1002/malq.19820281410
- By:
- Publication type:
- Article
Arithmetical Analogues of Productive and Universal Sets.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 14-18, p. 203, doi. 10.1002/malq.19820281403
- By:
- Publication type:
- Article
Compatibility of a Categorial Grammar With an Associated Category System.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 14-18, p. 229, doi. 10.1002/malq.19820281407
- By:
- Publication type:
- Article
Recursively Enumerable Images of Arithmetic Sets.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 14-18, p. 189, doi. 10.1002/malq.19820281402
- By:
- Publication type:
- Article
Calculation of an Order Type: An application of Non-Standard Methods.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 14-18, p. 219, doi. 10.1002/malq.19820281406
- By:
- Publication type:
- Article