Abstract Data Types and Type Theory: Theories as Types.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 9-12, p. 149, doi. 10.1002/malq.19910370904
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1991 AND VI 37 AND IP 9-12
Results: 7
1
2
The Paraconsistent Logics P J.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 9-12, p. 139, doi. 10.1002/malq.19910370903
- By:
- Publication type:
- Article
3
Common Logic of 2-Valued Semigroup Connectives.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 9-12, p. 187, doi. 10.1002/malq.19910370907
- By:
- Publication type:
- Article
4
Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 9-12, p. 129, doi. 10.1002/malq.19910370902
- By:
- Publication type:
- Article
5
A Note on Shoenfield's Unramified Forcing.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 9-12, p. 183, doi. 10.1002/malq.19910370906
- By:
- Publication type:
- Article
6
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 9-12, p. fmi, doi. 10.1002/malq.19910370901
- Publication type:
- Article
7
Some Quotient Lattices of the Medvedev Lattice.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 9-12, p. 167, doi. 10.1002/malq.19910370905
- By:
- Publication type:
- Article