Works matching IS 00393215 AND DT 2005 AND VI 81 AND IP 1
Results: 8
Thomas Foster, Logic, Induction and Sets, (London Mathematical Society Student Texts 56), Cambridge University Press, Cambridge 2003, X + 234 pp., £50, ISBN 0 521 82621 7 (hardback), £18.99, 0 521 53361 9 (paperback).
- Published in:
- Studia Logica, 2005, v. 81, n. 1, p. 145, doi. 10.1007/s11225-005-2806-5
- By:
- Publication type:
- Article
An Exactification of the Monoid of Primitive Recursive Functions.
- Published in:
- Studia Logica, 2005, v. 81, n. 1, p. 1, doi. 10.1007/s11225-005-2765-x
- By:
- Publication type:
- Article
On the Exclusivity Implicature of ‘Or’ or on the Meaning of Eating Strawberries.
- Published in:
- Studia Logica, 2005, v. 81, n. 1, p. 19, doi. 10.1007/s11225-005-2767-8
- By:
- Publication type:
- Article
Comparing Inductive and Circular Definitions: Parameters, Complexity and Games.
- Published in:
- Studia Logica, 2005, v. 81, n. 1, p. 79, doi. 10.1007/s11225-005-2803-8
- By:
- Publication type:
- Article
On Amalgamation in Algebras of Logic.
- Published in:
- Studia Logica, 2005, v. 81, n. 1, p. 61, doi. 10.1007/s11225-005-2802-9
- By:
- Publication type:
- Article
Representations of monadic MV -algebras.
- Published in:
- Studia Logica, 2005, v. 81, n. 1, p. 123, doi. 10.1007/s11225-005-2805-6
- By:
- Publication type:
- Article
The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms.
- Published in:
- Studia Logica, 2005, v. 81, n. 1, p. 43, doi. 10.1007/s11225-005-2801-x
- By:
- Publication type:
- Article
Two notions of compactness in Gödel logics.
- Published in:
- Studia Logica, 2005, v. 81, n. 1, p. 99, doi. 10.1007/s11225-005-2804-7
- By:
- Publication type:
- Article