|
|
if ($_GET['lang']=="en")
echo "Links - Logic";
else
echo "Liames - Lógica";
?>
if ($_GET['lang']=="en") { ?>
Associations and Institutes
Atlases
Automation of Reasoning
Bibliographies and Digests
Libraries
Courses and Tutorials
Events
Foundations of Mathematics
Glossaries and Encyclopedias
Discussion Groups
Research Groups
Journals
Lambda Calculus
Links and Directories
Books and Papers
Informal Logic and Critical Thinking
Description Logics
Logicians
Declarative Programming
Semiotics
Symbology
Model Theory
} else { ?>
Associações e Institutos
Atlas
Automatização do Raciocínio
Bibliografias e Resenhas
Bibliotecas
Cursos e Tutoriais
Eventos
Fundamentos de Matemática
Glossários e Enciclopédias
Grupos de Discussão
Grupos de Pesquisa
Jornais
Lambda Cálculo
Liames e Diretórios
Livros e Artigos
Lógica Informal e Espírito Crítico
Lógicas da Descrição
Lógicos
Planos de Cursos
Programação Declarativa
Semiótica
Simbologia
Submissões de Trabalhos
Teoria dos Modelos
} ?>
|
|