PREFACE.
- Published in:
- International Journal of Foundations of Computer Science, 1995, v. 6, n. 3, p. iii, doi. 10.1142/S012905419500024X
- Publication type:
- Article
Works matching IS 01290541 AND DT 1995 AND VI 6 AND IP 3
Results: 5
1
2
A NEW FORMALIZATION OF FEFERMAN'S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE.
- Published in:
- International Journal of Foundations of Computer Science, 1995, v. 6, n. 3, p. 187, doi. 10.1142/S0129054195000135
- By:
- Publication type:
- Article
3
A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS.
- Published in:
- International Journal of Foundations of Computer Science, 1995, v. 6, n. 3, p. 203, doi. 10.1142/S0129054195000147
- By:
- Publication type:
- Article
4
HYBRID PARTIAL-TOTAL TYPE THEORY.
- Published in:
- International Journal of Foundations of Computer Science, 1995, v. 6, n. 3, p. 235, doi. 10.1142/S0129054195000159
- By:
- Publication type:
- Article
5
USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS.
- Published in:
- International Journal of Foundations of Computer Science, 1995, v. 6, n. 3, p. 299, doi. 10.1142/S0129054195000172
- By:
- Publication type:
- Article