Admissible sets and structures.
- Published in:
- 1978
- By:
- Publication type:
- Book Review
Works matching IS 00393215 AND DT 1978 AND VI 37 AND IP 3
Results: 8
1
2
A theorem on absolute indiscernibles.
- Published in:
- Studia Logica, 1978, v. 37, n. 3, p. 291, doi. 10.1007/BF02124730
- By:
- Publication type:
- Article
3
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
4
Positive logic and λ-constants.
- Published in:
- Studia Logica, 1978, v. 37, n. 3, p. 269, doi. 10.1007/BF02124728
- By:
- Publication type:
- Article
5
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
6
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
7
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
8
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