Project ProofPeer
http://www.proofpeer.net
-- Forwarded message --
Research studentship in collaborative theorem proving
A studentship is available in the School of Informatics at the
University of Edinburgh. This is related to a new initiative aimed at
creating a model for inte
Tambem eu nao apoio projetos editoriais onde os autores tem obrigacao de
pagar.
Nao e o caso nem do jornal Logica Universalis, nem da serie de livros
Studies in Universal logic
publicado pela Birkhäuser Science associada a Springer
que nao faz parte de Walter de Gruytier.
Birkhäuser foi fundada
PessoALL:
Gostaria de saber se algum dos colegas tem acesso eletrônico à
seguinte obra rara, e poderia partilhá-la OFF list:
Lemmon, E. J. (in collaboration with Dana S. Scott)
The `Lemmon notes': an introduction to modal logic
(edited by Krister Segerberg)
American Philosophical Quarterly Monogr
