Works matching IS 00393215 AND DT 1999 AND VI 62 AND IP 3
Results: 7
Contents of Volume 62.
- Published in:
- Studia Logica, 1999, v. 62, n. 3, p. 449, doi. 10.1023/A:1017256728726
- Publication type:
- Article
Book Reviews.
- Published in:
- Studia Logica, 1999, v. 62, n. 3, p. 429, doi. 10.1023/A:1017201711887
- Publication type:
- Article
A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems.
- Published in:
- Studia Logica, 1999, v. 62, n. 3, p. 399, doi. 10.1023/A:1005152527817
- By:
- Publication type:
- Article
Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4.
- Published in:
- Studia Logica, 1999, v. 62, n. 3, p. 371, doi. 10.1023/A:1005100510979
- By:
- Publication type:
- Article
Conservative Theories of Classical Truth.
- Published in:
- Studia Logica, 1999, v. 62, n. 3, p. 353, doi. 10.1023/A:1005148426909
- By:
- Publication type:
- Article
A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic.
- Published in:
- Studia Logica, 1999, v. 62, n. 3, p. 341, doi. 10.1023/A:1005196310070
- By:
- Publication type:
- Article
Quantifiers and Congruence Closure.
- Published in:
- Studia Logica, 1999, v. 62, n. 3, p. 315, doi. 10.1023/A:1005190726000
- By:
- Publication type:
- Article