Works matching IS 00393215 AND DT 1978 AND VI 37 AND IP 3
Results: 8
Admissible sets and structures.
- Published in:
- 1978
- By:
- Publication type:
- Book Review
A theorem on absolute indiscernibles.
- Published in:
- Studia Logica, 1978, v. 37, n. 3, p. 291, doi. 10.1007/BF02124730
- By:
- Publication type:
- Article
Fixed points through the finite model property.
- Published in:
- Studia Logica, 1978, v. 37, n. 3, p. 287, doi. 10.1007/BF02124729
- By:
- Publication type:
- Article
Positive logic and λ-constants.
- Published in:
- Studia Logica, 1978, v. 37, n. 3, p. 269, doi. 10.1007/BF02124728
- By:
- Publication type:
- Article
Axiomatic theory of enumeration: a note on the axiom of extensionality.
- Published in:
- Studia Logica, 1978, v. 37, n. 3, p. 261, doi. 10.1007/BF02124727
- By:
- Publication type:
- Article
Intuitionist logic, a logic of justification.
- Published in:
- Studia Logica, 1978, v. 37, n. 3, p. 243, doi. 10.1007/BF02124726
- By:
- Publication type:
- Article
On the set of 'Meaningful' sentences of arithmetic.
- Published in:
- Studia Logica, 1978, v. 37, n. 3, p. 237, doi. 10.1007/BF02124725
- By:
- Publication type:
- Article
On the algebraization of a Feferman's predicate.
- Published in:
- Studia Logica, 1978, v. 37, n. 3, p. 221, doi. 10.1007/BF02124724
- By:
- Publication type:
- Article