Lógica para Computação - Bibliografia Complementar - Histórico de revisão

Adolfo em 19h58min de 29 de maio de 2013

2013-05-29T19:58:18Z

Adolfo: /* Livros sobre Especificação Formal */

2011-02-24T16:53:53Z

Livros sobre Especificação Formal

Adolfo: /* Livros sobre Especificação Formal */

2011-02-24T16:53:33Z

Livros sobre Especificação Formal

Adolfo: /* Livros sobre História da Lógica */

2011-02-16T12:31:30Z

Livros sobre História da Lógica

Adolfo: /* Livros sobre História da Lógica */

2011-02-16T12:29:13Z

Livros sobre História da Lógica

Adolfo: /* Livros sobre História da Lógica */

2011-02-16T12:13:41Z

Livros sobre História da Lógica

Adolfo: /* Livros sobre História da Lógica */

2011-02-16T12:10:35Z

Livros sobre História da Lógica

Adolfo: /* Livros sobre História da Lógica */

2011-02-16T12:07:58Z

Livros sobre História da Lógica

Adolfo: /* Livros sobre História da Lógica */

2011-02-16T12:07:35Z

Livros sobre História da Lógica

Adolfo: /* Livros sobre História da Lógica */

2011-02-16T11:23:01Z

Livros sobre História da Lógica

← Versão anterior		Edição de 19h58min de 29 de maio de 2013
Linha 143:		Linha 143:
	* CARNIELLI, Walter A.; CONIGLIO, Marcelo E. '''A lógica e o consortio daemoniorum'''. Disponível em: <ftp://ftp.cle.unicamp.br/pub/arquivos/educacional/consortio-daemoniorum.pdf>. Acesso em: 09 dez. 2008.		* CARNIELLI, Walter A.; CONIGLIO, Marcelo E. '''A lógica e o consortio daemoniorum'''. Disponível em: <ftp://ftp.cle.unicamp.br/pub/arquivos/educacional/consortio-daemoniorum.pdf>. Acesso em: 09 dez. 2008.
	* MARTIN-LÖF, Per. '''Truth of a proposition, evidence of a judgement, validity of a proof'''. Synthese, 73, pp. 407-420, 1987. Disponível em: <http://www.postech.ac.kr/~gla/cs433/papers/ml-truth.pdf> (cópia) e <http://www.springerlink.com/content/r11317743775t005/> (original, exclusivo para assinantes).		* MARTIN-LÖF, Per. '''Truth of a proposition, evidence of a judgement, validity of a proof'''. Synthese, 73, pp. 407-420, 1987. Disponível em: <http://www.postech.ac.kr/~gla/cs433/papers/ml-truth.pdf> (cópia) e <http://www.springerlink.com/content/r11317743775t005/> (original, exclusivo para assinantes).
		+
		+
		+
		+
		+
		+	Voltar a [[Lógica para Computação]]

@@ Linha 82: / Linha 82: @@
 * SPIVEY, Mike. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 1992. Disponível em: <http://spivey.oriel.ox.ac.uk/~mike/zrm/>. Acesso em: 24 de fevereiro de 2011.
 * Formal Specification and Documentation using Z: A Case Study Approach, Jonathan Bowen. International Thomson Computer Press, International Thomson Publishing, 1996. http://formalmethods.wikia.com/wiki/Formal_Specification_and_Documentation_using_Z:_A_Case_Study_Approach
 * Using Z: Specification, Refinement and Proof, Jim Davies and Jim Woodcock↑. Prentice Hall International Series in Computer Science, 1996. See information from the publisher. http://www.usingz.com/

@@ Linha 81: / Linha 81: @@
 === Livros sobre Especificação Formal ===
-* '''The Z Notation: A Reference Manual''', 2nd edition, Mike Spivey. Prentice Hall International Series in Computer Science, 1992. (De facto standard reference book for Z.) http://www.radonc.washington.edu/prostaff/jon/z-book/
+* SPIVEY, Mike. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 1992. Disponível em: <http://spivey.oriel.ox.ac.uk/~mike/zrm/>. Acesso em: 24 de fevereiro de 2011.
 * Formal Specification and Documentation using Z: A Case Study Approach, Jonathan Bowen. International Thomson Computer Press, International Thomson Publishing, 1996. http://formalmethods.wikia.com/wiki/Formal_Specification_and_Documentation_using_Z:_A_Case_Study_Approach
 * Using Z: Specification, Refinement and Proof, Jim Davies and Jim Woodcock↑. Prentice Hall International Series in Computer Science, 1996. See information from the publisher. http://www.usingz.com/
@@ Linha 87: / Linha 88: @@
 * Mais informações em http://formalmethods.wikia.com/wiki/Z_notation
 === Livros sobre História da Lógica ===

@@ Linha 125: / Linha 125: @@
 * The Development of Modern Logic (9780195137316): Leila Haaparanta: Books http://amzn.to/fYZD4L
-* The Handbook of the History of Logic. A  multi-volume Handbook to be published by Elsevier under the editorship of
+* The Handbook of the History of Logic. A  multi-volume Handbook to be published by Elsevier under the editorship of Dov M. Gabbay and John Woods. http://www.johnwoods.ca/HHL/
-Dov M. Gabbay and John Woods. http://www.johnwoods.ca/HHL/
+** Amazon.com: Handbook of the History of Logic: Books http://amzn.to/g9u75q
 ==== Outros links ====

← Versão anterior		Edição de 12h29min de 16 de fevereiro de 2011
Linha 124:		Linha 124:

	* The Development of Modern Logic (9780195137316): Leila Haaparanta: Books http://amzn.to/fYZD4L		* The Development of Modern Logic (9780195137316): Leila Haaparanta: Books http://amzn.to/fYZD4L
		+
		+	* The Handbook of the History of Logic. A multi-volume Handbook to be published by Elsevier under the editorship of
		+	Dov M. Gabbay and John Woods. http://www.johnwoods.ca/HHL/

	==== Outros links ====		==== Outros links ====

@@ Linha 128: / Linha 128: @@
 * Linha de discussões na lista [FOM] "Book on the history of logic?" http://www.cs.nyu.edu/pipermail/fom/2011-February/015285.html
-* Dentre as boas histórias gerais da lógica, eu gosto muito daquela escrita por I. M. Bochenski (A history of formal Logic) e a do casal Kneale (O desenvolvimento da Lógica). Cada uma delas é o melhor exemplar das correntes historiográficas que representam. A história de Bochenski pode ser considerada a melhor no estilo disciplinar e a do casal Kneale a melhor no estilo compreensivo.
+* Revista "History and Philosophy of Logic": http://www.tandf.co.uk/journals/thpl
-* Boa história da lógica pode ser encontrada também na revista History and Philosophy of Logic, publicada desde 1980. É o ponto de encontro da boa pesquisa nessa área.
+==== Comentários ====
 == Artigos ==

@@ Linha 115: / Linha 115: @@
 * WALICKI, M. Introduction to Logic
 ** Livro aberto disponível em http://bit.ly/eNOkzK
-** Também disponível em (acho que a versão mais recente está neste segundo link): http://www.ii.uib.no/~michal/ mais especificamente em
+** Também disponível em (acho que a versão mais recente está neste segundo link): http://www.ii.uib.no/~michal/ mais especificamente em "Lecture Notes: INF-227 - An introduction to mathematical logic Mathematical Logic - an Introduction: the actual compendium with the whole syllabus and an extensive section on the history of logic".
 "Lecture Notes: INF-227 - An introduction to mathematical logic Mathematical Logic - an Introduction: the actual compendium with the whole syllabus and an extensive section on the history of logic".
 * Logic, Language, and Meaning, Volume 1: Introduction to Logic (9780226280851): L. T. F. Gamut: Books http://amzn.to/etLiNK

@@ Linha 91: / Linha 91: @@
 === Livros sobre História da Lógica ===
-* The Evolution of Logic, de D.W.Hart
+* HART, D. W. The Evolution of Logic.
-** Link Amazon: The Evolution of Logic: W. D. Hart http://amzn.to/h8eRFj
+** Amazon: The Evolution of Logic: W. D. Hart http://amzn.to/h8eRFj
-* clássico dos Kneale, certamente
-* Kneebone, Math.Logic & the foundations of mathematics
-* Bochenski, Formal Logic em
-inglês, História de la Lógica Formal em espanhol.
-* HAACK, S. Filosofia das lógicas. São Paulo: Unesp, 2002
+* KNEALE & KNEALE. The Development of Logic.
-** Na Amazon: 'Philosophy of Logics' by Susan Haack http://amzn.to/dNmlGA
+** Amazon: The Development of Logic (9780198247739): William Kneale, Martha Kneale: Books http://amzn.to/gXlAXS
 * BLANCHE, R., DUBUCS, J. História da lógica. Lisboa: Edições 70, 1996.
@@ Linha 105: / Linha 113: @@
 ** No Buscapé: http://compare.buscape.com.br/historia-da-logica-robert-blanche-jacques-dubucs-9724411028.html
-* Introduction to Logic by Michal Walicki http://bit.ly/eNOkzK
+* WALICKI, M. Introduction to Logic
-** Também disponível em (acho que a versão mais recente está aqui): http://www.ii.uib.no/~michal/ mais especificamente em
+** Livro aberto disponível em http://bit.ly/eNOkzK
-Lecture Notes: INF-227 - An introduction to mathematical logic Mathematical Logic - an Introduction: the actual compendium with the whole syllabus and an extensive section on the history of logic
+** Também disponível em (acho que a versão mais recente está neste segundo link): http://www.ii.uib.no/~michal/ mais especificamente em
-* Faltou citar o livro organizado por Leila Haaparanta sobre "lógica moderna". Uma linha de discussões nesta direção acabou de ser inaugurada na lista f.o.m., com algumas respostas interessantes: http://www.cs.nyu.edu/pipermail/fom/2011-February/015285.html
+* Linha de discussões na lista [FOM] "Book on the history of logic?" http://www.cs.nyu.edu/pipermail/fom/2011-February/015285.html
 * Dentre as boas histórias gerais da lógica, eu gosto muito daquela escrita por I. M. Bochenski (A history of formal Logic) e a do casal Kneale (O desenvolvimento da Lógica). Cada uma delas é o melhor exemplar das correntes historiográficas que representam. A história de Bochenski pode ser considerada a melhor no estilo disciplinar e a do casal Kneale a melhor no estilo compreensivo.