| O mundo de Tarski revisado e expandido O pacote é pretendido como um suplemento a qualquer texto lógico padrão |
Baixe Agora |
O mundo de Tarski revisado e expandido Classificação e resumo
- Nome do editor:
- CSLI Publications
- Sistemas operacionais:
- Windows
O mundo de Tarski revisado e expandido Tag
O mundo de Tarski revisado e expandido Descrição
O pacote é destinado como um suplemento a qualquer texto lógico padrão ou para uso por qualquer pessoa que queira aprender a linguagem da lógica de primeira ordem. O principal corpo do livro contém uma coleção de exersicos que usam o software do mundo de Tarski para ensinar a linguagem e a semântica da lógica de primeira ordem. Compartilhe sua experiência: Faça sua avaliação sobre este programa
O mundo de Tarski revisado e expandido Software Relacionado