Masthead.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. fmi, doi. 10.1002/malq.19860321901
- Publication type:
- Article
Works matching IS 09425616 AND DT 1986 AND VI 32 AND IP 19-24
Results: 12
1
2
A Gödel Theorem on Network Complexity Lower Bounds.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. 377, doi. 10.1002/malq.19860321912
- By:
- Publication type:
- Article
3
A Relationship Between Ordinary Functional Completeness and a Generalisation of the Concept.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. 323, doi. 10.1002/malq.19860321905
- By:
- Publication type:
- Article
4
Some Model-Theoretic Results for the Relevant Logic with Quantification.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. 355, doi. 10.1002/malq.19860321909
- By:
- Publication type:
- Article
5
Locally p-ℵ<sub>0</sub>-Categorical Theories.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. 341, doi. 10.1002/malq.19860321907
- By:
- Publication type:
- Article
6
The Fundamental Configurations of Linear Projective Geometry.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. 289, doi. 10.1002/malq.19860321902
- By:
- Publication type:
- Article
7
On the Logical System L<sub>1</sub>.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. 349, doi. 10.1002/malq.19860321908
- By:
- Publication type:
- Article
8
The Recursively Saturated Part of Models of Peano Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. 365, doi. 10.1002/malq.19860321910
- By:
- Publication type:
- Article
9
Transfinite Recursion in a Theory of Properties.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. 307, doi. 10.1002/malq.19860321903
- By:
- Publication type:
- Article
10
On the Expressive Power of Equality-Free First Order Languages.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. 371, doi. 10.1002/malq.19860321911
- By:
- Publication type:
- Article
11
Classes of Numeration Models of λ-Calculus.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. 315, doi. 10.1002/malq.19860321904
- By:
- Publication type:
- Article
12
Fuzzy Models of First Order Languages.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. 331, doi. 10.1002/malq.19860321906
- By:
- Publication type:
- Article