Conservative Extension in Relevant Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 1-5, p. 45, doi. 10.1002/malq.19860320106
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1986 AND VI 32 AND IP 1-5
Results: 9
1
2
Herrn Professor Dr. sc. nat. Günter Asser zum 60. Geburtstag.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 1-5, p. 3, doi. 10.1002/malq.19860320102
- By:
- Publication type:
- Article
3
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 1-5, p. fmi, doi. 10.1002/malq.19860320101
- Publication type:
- Article
4
Untersuchungen zur Friedmanschen Theorie der Prädikate.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 1-5, p. 29, doi. 10.1002/malq.19860320105
- By:
- Publication type:
- Article
5
The Pigeonhole Principle and Fragments of Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 1-5, p. 73, doi. 10.1002/malq.19860320109
- By:
- Publication type:
- Article
6
Completeness Results for Lambek Syntactic Calculus.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 1-5, p. 13, doi. 10.1002/malq.19860320104
- By:
- Publication type:
- Article
7
Tenses in Real Time.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 1-5, p. 61, doi. 10.1002/malq.19860320108
- By:
- Publication type:
- Article
8
A Refinement of Low n and High n for the R.E. Degrees.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 1-5, p. 5, doi. 10.1002/malq.19860320103
- By:
- Publication type:
- Article
9
Extensionality in Zermelo-Fraenkel Set Theory.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 1-5, p. 51, doi. 10.1002/malq.19860320107
- By:
- Publication type:
- Article