Variations on A System Of Gentzen.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 25-30, p. 385, doi. 10.1002/malq.19810272502
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1981 AND VI 27 AND IP 25-30
Results: 10
1
2
Comparing The Expressive Power of Some Languages for Boolean Algebras.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 25-30, p. 419, doi. 10.1002/malq.19810272506
- By:
- Publication type:
- Article
3
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 25-30, p. fmi, doi. 10.1002/malq.19810272501
- Publication type:
- Article
4
A Class of ℵ<sub>0</sub>-Categorical Theories.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 25-30, p. 411, doi. 10.1002/malq.19810272505
- By:
- Publication type:
- Article
5
METRISCH-EUKLIDISCHE RÄUME BELIEBIGER DIMENSION IM AUFBAU DER GEOMETRIE AUS DEM SPIEGELUNGSBEGRIFF.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 25-30, p. 463, doi. 10.1002/malq.19810272509
- By:
- Publication type:
- Article
6
Classification of Quantifier Prefixes Over Diophantine Equations.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 25-30, p. 403, doi. 10.1002/malq.19810272504
- By:
- Publication type:
- Article
7
Undecidable Problems Associated with Combinatiorial Systems and Their One-One Degrees of Unsolvability.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 25-30, p. 453, doi. 10.1002/malq.19810272508
- By:
- Publication type:
- Article
8
Berechenbarkeit in Topologischen Räumen Mit Rekursiver Basis.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 25-30, p. 473, doi. 10.1002/malq.19810272510
- By:
- Publication type:
- Article
9
Efficient Combinatory Reduction.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 25-30, p. 391, doi. 10.1002/malq.19810272503
- By:
- Publication type:
- Article
10
A General Theorem on Existence Theorems.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 25-30, p. 435, doi. 10.1002/malq.19810272507
- By:
- Publication type:
- Article