A sua pesquisa recuperou 14 resultados. Subscrever esta pesquisa

|
1. Lógica moderna : fascículo II : lógica das proposições e dos predicados : tabelas de verdade e axiomatização / Jean-Blaise Grize ; trad. Francisco Sardo Monografia Publicação Porto : Livraria Civilização, 1984 Descrição 86 p. : il. Cota: L.S. 8032 M Disponibilidade Exemplares para empréstimo (1).

2. The story of proof : logic and the history of mathematics / John Stillwell Monografia Publicação Princeton : Princeton University Press, 2022 Descrição 441 p. Cota: L.S. 55073 M Disponibilidade Exemplares para empréstimo (1).

3. Logique moderne / Jean-Blaise Grize Monografia Publicação Paris : Mouton, 1971 Descrição v. Cota: L.S. 54205 M Disponibilidade Exemplares para empréstimo (3).

4. Demonstração automática de teoremas em lógicas não clássicas : resolução assinalada para lógicas multivalentes / Luís Manuel da Silva Augusto Monografia Publicação [Lisboa] : [s.n.], 2013 Descrição 149 p. Cota: L.S. 48638 TMEMC Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto

5. Demonstração automática de teoremas em lógicas não clássicas : resolução assinalada para lógicas multivalentes / Luís Manuel da Silva Augusto Documento eletrónico Publicação [Lisboa] : [s.n.], 2013 Descrição 1disco ótico (CD-ROM) Cota: L.C. 1437 Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto

6. Gramática simbólica do português : um esboço / Óscar Lopes Monografia Publicação Lisboa : Fundação Calouste Gulbenkian, 1971 Descrição X, 338 p. : il. Cota: P.S. 21269 OR-LL Disponibilidade Exemplares para consulta (2).

7. Gramática simbólica do português : um esboço / Óscar Lopes Monografia Publicação Lisboa : Fundação Calouste Gulbenkian : Instituto Gulbenkian de Ciência, 1972 Descrição XII, 348 p. : il. Cota: L.S. 12835 LL Disponibilidade Exemplares para empréstimo (2).

8. Introdução à programação em lógica / Delfim Fernando Marado Torres Monografia Publicação Aveiro : Universidade de Aveiro, 2000 Descrição 346 p. Cota: L.S. 47677 INF Disponibilidade Exemplares para empréstimo (3).

9. Introducción a la filosofia matemática / Walther Brand y Marie Deutschbein ; trad. R. Ledesma Ramos Monografia Publicação Madrid : Revista de Occidente, 1930 Descrição 245, [4] p. Cota: L.S. 49131 F Disponibilidade Exemplares para empréstimo (1).

10. Logica e filosofia da linguagem / Gottlob Frege ; sel., introd., trad e notas de Paulo Alcoforado Monografia Publicação São Paulo : Cultrix, 1978 Descrição 158 p. : il. Cota: L.S. 2092 LL Disponibilidade Exemplares para empréstimo (1).

11. Sistema percial em prolog no diagnóstico do potencial agrícola de solos / Jucilene de Medeiros Siqueira Documento eletrónico Publicação [Lisboa : s.n.], 2011 Descrição 1 disco ótico (CD-ROM) : il. Cota: L.C. 1044 Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto

12. Sistema percial em prolog no diagnóstico do potencial agrícola de solos / Jucilene de Medeiros Siqueira Monografia Publicação [Lisboa] : [s.n.], 2011 Descrição 116, [10] p. : il., tabelas Cota: L.S. 47443 TMEMC Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto

13. Mind tools : the mathematics of information / Rudy Rucker Monografia Publicação London : Penguin Books, 1987 Descrição VIII, 328 p. : il. Cota: L.S. 14298 M Disponibilidade Exemplares para empréstimo (1).

14. Lógica e conhecimento científico / dir. Jean Piaget ; trad. Sousa Dias, Filipe Araújo Monografia Publicação Porto : Livraria Civilização, imp. 1980-1981 Descrição 2 Vol. Cota: L.S. 6623 F Disponibilidade Exemplares para empréstimo (2).