Found: 7
Select item for more details and to access through your institution.
A 2-categorial Generalization of the Concept of Institution.
- Published in:
- Studia Logica, 2010, v. 95, n. 3, p. 301, doi. 10.1007/s11225-010-9268-0
- By:
- Publication type:
- Article
Non-standard Stochastics with a First Order Algebraization.
- Published in:
- Studia Logica, 2010, v. 95, n. 3, p. 345, doi. 10.1007/s11225-010-9266-2
- By:
- Publication type:
- Article
Schönfinkel-type Operators for Classical Logic.
- Published in:
- Studia Logica, 2010, v. 95, n. 3, p. 355, doi. 10.1007/s11225-010-9265-3
- By:
- Publication type:
- Article
Theories with the Independence Property.
- Published in:
- Studia Logica, 2010, v. 95, n. 3, p. 379, doi. 10.1007/s11225-010-9263-5
- By:
- Publication type:
- Article
Reversed Resolution in Reducing General Satisfiability Problem.
- Published in:
- Studia Logica, 2010, v. 95, n. 3, p. 407, doi. 10.1007/s11225-010-9262-6
- By:
- Publication type:
- Article
Extending Free Pregroups with Lower Bounds.
- Published in:
- Studia Logica, 2010, v. 95, n. 3, p. 417, doi. 10.1007/s11225-010-9264-4
- By:
- Publication type:
- Article
Book Reviews.
- Published in:
- 2010
- By:
- Publication type:
- Book Review