Works matching IS 09425616 AND DT 1997 AND VI 43 AND IP 1
Results: 15
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. fmi, doi. 10.1002/malq.19970430101
- Publication type:
- Article
Minimal Axiomatization in Modal Logic.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 92, doi. 10.1002/malq.19970430112
- By:
- Publication type:
- Article
Strongly Amorphous Sets and Dual Dedekind Infinity.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 39, doi. 10.1002/malq.19970430105
- By:
- Publication type:
- Article
Characterization of the Relations in Grzegorczyk's Hierarchy Revisited.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 73, doi. 10.1002/malq.19970430109
- By:
- Publication type:
- Article
On Regressive Isols and Comparability of Summands and a Theorem of R. Downey.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 83, doi. 10.1002/malq.19970430111
- By:
- Publication type:
- Article
Iterative Characterizations of Computable Unary Functions: A General Method.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 29, doi. 10.1002/malq.19970430104
- By:
- Publication type:
- Article
On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 134, doi. 10.1002/malq.19970430115
- By:
- Publication type:
- Article
Powerset Residuated Algebras and Generalized Lambek Calculus.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 60, doi. 10.1002/malq.19970430108
- By:
- Publication type:
- Article
On a Question of Phillips.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 78, doi. 10.1002/malq.19970430110
- By:
- Publication type:
- Article
Weak Covering at Large Cardinals.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 22, doi. 10.1002/malq.19970430103
- By:
- Publication type:
- Article
On Series of Ordinals and Combinatorics.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 121, doi. 10.1002/malq.19970430114
- By:
- Publication type:
- Article
A Concrete Categorical Model for the Lambek Syntactic Calculus.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 49, doi. 10.1002/malq.19970430107
- By:
- Publication type:
- Article
Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second - Order Logic.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 1, doi. 10.1002/malq.19970430102
- By:
- Publication type:
- Article
A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 103, doi. 10.1002/malq.19970430113
- By:
- Publication type:
- Article
Effective Nonrecursiveness.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 45, doi. 10.1002/malq.19970430106
- By:
- Publication type:
- Article