-
41
-
42
-
43
-
44
-
45
-
46
-
47por Brazilian Conference on Mathematical Logic (3th : 1979 : Recife)., Arruda, Ayda I., Costa, Newton C. A. da., Sette, Antonio Mario.Assuntos: “...Lógica matemática -...”
Mais informações
Livro -
48
-
49
-
50
-
51
-
52
-
53
-
54por Euler, Leonhard, Possebon, Fabricio (Tradução / Comentário), Fossa, John A. (Editor Geral / Tradução / Comentário), Leôncio, Sarah Mara S. (Tradução/ Comentário)Assuntos: “...Lógica matemática...”
Mais informações
book -
55
-
56
-
57
-
58
-
59
-
60
-
61
-
62
-
63por Pearce, David A., Wansing, H. (Heinrich), International Workshop on Nonclassical logics and Information Processing ;Assuntos: “...Logica matemática não-clássica -...”
Mais informações
Livro -
64por Calleja Olguín, Claudio Andrés., Callejas Bedregal, Benjamín René., Marcos, João, Universidade Federal do Rio Grande do Norte.Assuntos: “...Lógica matemática -...”
Mais informações
Dissertação -
65Assuntos: “...Lógica matemática. Assistente de demonstração. Tutorial interativo. Ensino de lógica...”
Mais informações
Dissertação -
66
-
67
-
68
-
69
-
70
-
71
-
72
-
73
-
74
-
75
-
76“... concentra-se nos aspectos da lógica matemática, que têm fortes ligações com diferentes temas em ciência da...”
Mais informações
Digital -
77“... matemática construtivas e lógica matemática dos últimos 70 anos. Além disso, a necessidade cada vez mais...”
Mais informações
Digital -
78
-
79
-
80por Cavalheiro, Simone André da Costa., Ribeiro, Leila., Costa, Antônio Carlos da Rocha., Universidade Federal do Rio Grande do Sul.“... expressas em alguma lógica matemática. O processo de prova consiste em encontrar uma prova a partir dos...”
Mais informações
Tese