Works matching IS 00393215 AND DT 1988 AND VI 47 AND IP 4
Results: 12
The non-definability notion and first order logic.
- Published in:
- Studia Logica, 1988, v. 47, n. 4, p. 429, doi. 10.1007/BF00671571
- By:
- Publication type:
- Article
International Union of History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS) Bulletin no. 12.
- Published in:
- 1988
- Publication type:
- Report
Books received.
- Published in:
- 1988
- By:
- Publication type:
- Book Review
Cause as an implication.
- Published in:
- Studia Logica, 1988, v. 47, n. 4, p. 413, doi. 10.1007/BF00671570
- By:
- Publication type:
- Article
A representation theorem for languages with generalized quantifiers through back-and-forth methods.
- Published in:
- Studia Logica, 1988, v. 47, n. 4, p. 401, doi. 10.1007/BF00671569
- By:
- Publication type:
- Article
On finite linear intermediate predicate logics.
- Published in:
- Studia Logica, 1988, v. 47, n. 4, p. 391, doi. 10.1007/BF00671568
- By:
- Publication type:
- Article
Involutions defined by monadic terms.
- Published in:
- Studia Logica, 1988, v. 47, n. 4, p. 387, doi. 10.1007/BF00671567
- By:
- Publication type:
- Article
Sequent-systems and groupoid models. I.
- Published in:
- Studia Logica, 1988, v. 47, n. 4, p. 353, doi. 10.1007/BF00671566
- By:
- Publication type:
- Article
Talking about actions.
- Published in:
- Studia Logica, 1988, v. 47, n. 4, p. 347, doi. 10.1007/BF00671565
- By:
- Publication type:
- Article
Classifying ℵ-categorical theories.
- Published in:
- Studia Logica, 1988, v. 47, n. 4, p. 327, doi. 10.1007/BF00671564
- By:
- Publication type:
- Article
Mathematics of Totalities: an alternative to mathematics of sets.
- Published in:
- Studia Logica, 1988, v. 47, n. 4, p. 319, doi. 10.1007/BF00671563
- By:
- Publication type:
- Article
Finite condensations of recursive linear orders.
- Published in:
- Studia Logica, 1988, v. 47, n. 4, p. 311, doi. 10.1007/BF00671562
- By:
- Publication type:
- Article