Otros recursos con las palabras clave 03B60
| Resultados 21 - 30 de 47 de 03B60. (0,09 segundos) |
Documentos:

21. (100%)
Validity and satisfaction in imperative logic.
- Segerberg, Krister
(application/pdf) - 21-nov-2008

22. (100%)
A lemma in the logic of action.
- Surendonk, Timothy J.
(application/pdf) - 21-nov-2008

23. (100%)
Matrix representation of Husserl's part-whole-foundation theory.
- Blecksmith, Richard; Null, Gilbert
(application/pdf) - 21-nov-2008

24. (100%)
Why is conjunctive simplification invalid?
- Thompson, Bruce E. R.
(application/pdf) - 21-nov-2008

25. (100%)
Approximations and logic.
- Marquis, Jean-Pierre
(application/pdf) - 21-nov-2008

26. (100%)
A free logic with simple and complex predicates.
- Lambert, Karel; Bencivenga, Ermanno
(application/pdf) - 21-nov-2008

27. (100%)
Kripke-type semantics for da Costa's paraconsistent logic ${\rm C}_\omega$.
- Baaz, Matthias
(application/pdf) - 21-nov-2008

28. (100%)
Systems of sentence logic with trans-atomic units.
- Butrick, Richard
(application/pdf) - 21-nov-2008

29. (100%)
Constructive predicate logic with strong negation and model theory.
- Akama, Seiki
(application/pdf) - 21-nov-2008

30. (100%)
On the logic of continuous algebras.
- Adámek, Ji?í; Mekler, Alan H.; Nelson, Evelyn; Reiterman, Jan
(application/pdf) - 21-nov-2008
|
|
|