Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 6, p. 481, doi. 10.1002/malq.19870330602
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1987 AND VI 33 AND IP 6
Results: 10
1
2
Russian Text Ignored.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 6, p. 517, doi. 10.1002/malq.19870330606
- By:
- Publication type:
- Article
3
N-Categories in Logic.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 6, p. 507, doi. 10.1002/malq.19870330605
- By:
- Publication type:
- Article
4
Heyting Algebras with a Dual Lattice Endomorphism.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 6, p. 565, doi. 10.1002/malq.19870330610
- By:
- Publication type:
- Article
5
On Constructively Non-Morphisms of Enumerated Sets and Constructive Non-Reducibility of Enumerations.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 6, p. 485, doi. 10.1002/malq.19870330603
- By:
- Publication type:
- Article
6
Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 6, p. 527, doi. 10.1002/malq.19870330607
- By:
- Publication type:
- Article
7
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 6, p. fmi, doi. 10.1002/malq.19870330601
- Publication type:
- Article
8
Abraham Robinson's Meta-Algebra Revisited.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 6, p. 497, doi. 10.1002/malq.19870330604
- By:
- Publication type:
- Article
9
Some Results Related to Patai's Theorem.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 6, p. 561, doi. 10.1002/malq.19870330609
- By:
- Publication type:
- Article
10
Enumeration Reducibility Using Bounded Information: Counting Minimal Covers.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 6, p. 537, doi. 10.1002/malq.19870330608
- By:
- Publication type:
- Article