|
1.
|
Logico-linguistic papers / P. F. Strawson
Monografia
Publicação
Bungay : Methuen, 1971
Descrição
249 p.
Cota: L.S. 53894 LL
Disponibilidade
Exemplares para empréstimo (1).
|
|
2.
|
Éléments d'informatique : informatique et démarche de l'esprit / Charles Corge
Monografia
Publicação
Paris : Larousse, 1975
Descrição
476 p.
Cota: L.S. 54763 INF
Disponibilidade
Exemplares para empréstimo (1).
|
|
3.
|
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).
|
|
4.
|
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).
|
|
5.
|
Teoria clássica da dedução / M. S. Lourenço
Monografia
Publicação
Lisboa : Assírio e Alvim, 1991
Descrição
318 p. :
il.
Cota: L.S. 44497 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
6.
|
Introduction a la logique contemporaine / Robert Blanché
Monografia
Publicação
Paris : Librairie Armand Colin, 1968
Descrição
204 p.
Cota: L.S. 49553 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
7.
|
La logique floue / Bernadette Bouchon-Meunier
Monografia
Publicação
Paris : Presses Universitaires de France, 1993
Descrição
125 p.
Cota: L.S. 54931 M
Disponibilidade
Exemplares para empréstimo (1).
|
|
8.
|
Dialectique, logique, gnoséologie : leur unité : a la lumière des idées de Lénine / Boniface Kedrov ; trad. Ivan Mignot
Monografia
Publicação
Moscou : Editions du Progrès, 1970
Descrição
404 p.
Cota: L.S. 49680 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
9.
|
A génese do significado : introdução ao pensamento de Hegel / Diogo Ferrer
Monografia
Publicação
Porto : Fundação Eng. António de Almeida, 2016
Descrição
223, [2] p.
Cota: L.S. 51016 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
10.
|
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
|
|
11.
|
Essai sur la signification de la logique / Charles Serrus
Monografia
Publicação
Paris : Librairie Félix Alcan, 1939
Descrição
155 p.
Cota: L.S. 50236 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
12.
|
Traité de logique / Edmond Goblot ; pref. de M. Émile Boutroux
Monografia
Publicação
Paris : Librairie Armand Colin, 1937
Descrição
412 p.
Cota: L.S. 50317 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
13.
|
Traité de la méthode scientifique / par René Leclercq
Monografia
Publicação
Paris : Dunod, 1964
Descrição
215 p. :
il.
Cota: L.S. 49954 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
14.
|
La logique et la science : étude épistémologique / par P. Césari
Monografia
Publicação
Paris : Dunod, 1955
Descrição
171 p.
Cota: L.S. 50122 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
15.
|
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).
|
|
16.
|
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
|
|
17.
|
Lógica elementar / Vieira de Almeida
Monografia
Publicação
Coimbra : Arménio Amado, 1943
Descrição
186 p.
Cota: L.S. 49206 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
18.
|
Lógica / Kurt Joachim Grau ; trad. D. Domingo Miral
Monografia
Publicação
Barcelona : Laboral, S.A., 1933
Descrição
186 p.
Cota: L.S. 49724 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
19.
|
La logique formelle / par Antoinette Virieux-Reymond
Monografia
Publicação
Paris : Presses Universitaires de France, 1962
Descrição
122 p.
Cota: L.S. 49876 F
Disponibilidade
Exemplares para empréstimo (1).
|
|
20.
|
Esquisse d'une théorie nominaliste de la proposition : essai sur la philosophie de la logique / Paul Gochet
Monografia
Publicação
Paris : Librairie Armand Collin, 1972
Descrição
244 p.
Cota: L.S. 54204 F
Disponibilidade
Exemplares para empréstimo (1).
|