Works matching IS 00393215 AND DT 1986 AND VI 45 AND IP 2
Results: 10
International Union of History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science Bulletin no. 9.
- Published in:
- 1986
- Publication type:
- Report
Correction.
- Published in:
- 1986
- By:
- Publication type:
- Correction Notice
Books received.
- Published in:
- 1986
- By:
- Publication type:
- Book Review
Intermediate logics with the same disjunctionless fragment as intuitionistic logic.
- Published in:
- Studia Logica, 1986, v. 45, n. 2, p. 207, doi. 10.1007/BF00373276
- By:
- Publication type:
- Article
Semantic trees for Dummett's logic LC.
- Published in:
- Studia Logica, 1986, v. 45, n. 2, p. 199, doi. 10.1007/BF00373275
- By:
- Publication type:
- Article
Maps between some different kinds of contraction function: The finite case.
- Published in:
- Studia Logica, 1986, v. 45, n. 2, p. 187, doi. 10.1007/BF00373274
- By:
- Publication type:
- Article
Glueing of analysis models in an intuitionistic setting.
- Published in:
- Studia Logica, 1986, v. 45, n. 2, p. 181, doi. 10.1007/BF00373273
- By:
- Publication type:
- Article
Q-ultrafilters and normal ultrafilters in B-algebras.
- Published in:
- Studia Logica, 1986, v. 45, n. 2, p. 167, doi. 10.1007/BF00373272
- By:
- Publication type:
- Article
Some modifications of Scott's theorem on injective spaces.
- Published in:
- Studia Logica, 1986, v. 45, n. 2, p. 155, doi. 10.1007/BF00373271
- By:
- Publication type:
- Article
Retracts of the closure space of filters in the lattice of all subsets.
- Published in:
- Studia Logica, 1986, v. 45, n. 2, p. 135, doi. 10.1007/BF00373270
- By:
- Publication type:
- Article