Site programming by Marcin Junczys-Dowmunt



 
 
 
In other languages: Deutsch | Polski

Links

From Department of Applied Logic

(Difference between revisions)
Revision as of 08:07, 9 September 2009 (edit)
Pogonowski (Talk | contribs)
(Logic on-line)
← Previous diff
Revision as of 08:10, 9 September 2009 (edit) (undo)
Pogonowski (Talk | contribs)
(Logic in the Internet)
Next diff →
Line 178: Line 178:
==Logic in the Internet== ==Logic in the Internet==
-* [http://www.google.com/Top/Science/Math/Logic_and_Foundations Google: Logic and Foundations] +* [http://www.google.com/Top/Science/Math/Logic_and_Foundations Google: Logic and Foundations] * [http://www.bakeru.edu/crit Baker University, Center for Critical Thinking]
-* [http://www.bakeru.edu/crit Baker University, Center for Critical Thinking]+* [http://www.formalontology.it Raul Corazzon: Ontology. A Resource Guide for Philosophers] * [http://dmoz.org/Society/Philosophy/Philosophy_of_Logic dmoz: Open Directory Project: Philosophy of Logic]
-* [http://www.formalontology.it Raul Corazzon: Ontology. A Resource Guide for Philosophers] +
-* [http://dmoz.org/Society/Philosophy/Philosophy_of_Logic dmoz: Open Directory Project: Philosophy of Logic]+
* [http://www.logique.jussieu.fr L'Equipe de Logique Mathématique] * [http://www.logique.jussieu.fr L'Equipe de Logique Mathématique]
* [http://www.factbites.com/topics/logic Factbites: Logic] * [http://www.factbites.com/topics/logic Factbites: Logic]
* [http://www.rbjones.com/rbjpub/logic Factasia Logic] * [http://www.rbjones.com/rbjpub/logic Factasia Logic]
* [http://plato.stanford.edu/entries/logic-informal Leo Groarke: Informal Logic] * [http://plato.stanford.edu/entries/logic-informal Leo Groarke: Informal Logic]
 +* [http://www.cc.utah.edu/~nahaj/logic/ John Halleck: Logic Tools]
 +* [http://www.google.com/Top/Science/Math/Logic_and_Foundations/Publications/Journals/ Logic and Foundations: Journals]
 +* [http://www.google.com/Top/Science/Math/Logic_and_Foundations/Software/ Logic and Foundations: Software]
* [http://szukaj.gazeta.pl/katalog/0,51443.html?slowo=logika&szuk=kateg Katalog gazeta.pl: Logika] * [http://szukaj.gazeta.pl/katalog/0,51443.html?slowo=logika&szuk=kateg Katalog gazeta.pl: Logika]
* [http://www.google.interia.pl/szukaj,q,logika,w,,p,1 Katalog interia.pl: Logika] * [http://www.google.interia.pl/szukaj,q,logika,w,,p,1 Katalog interia.pl: Logika]
-* [http://katalog.robart.pl/Katalog/Logika/3796 Katalog RobArt: Logika]+* [http://katalog.onet.pl/3877,logika,k.html Katalog Onet.pl: Logika]
* [http://skocz.com/Katalog/Logika/3796 Katalog Skocz.com: Logika] * [http://skocz.com/Katalog/Logika/3796 Katalog Skocz.com: Logika]
* [http://szukaj.wp.pl/szukaj.html?szukaj=logika&z=T&p=T Katalog wp.pl: Logika] * [http://szukaj.wp.pl/szukaj.html?szukaj=logika&z=T&p=T Katalog wp.pl: Logika]
Line 194: Line 195:
* [http://www.logika.lap.hu Logika.lap.hu] * [http://www.logika.lap.hu Logika.lap.hu]
* [http://mathforum.org/library/topics/logic Math Forum Internet Mathematics Library: Logic/Foundations] * [http://mathforum.org/library/topics/logic Math Forum Internet Mathematics Library: Logic/Foundations]
 +* [http://world.logic.at/ Mathematical Logic around the world]
* [http://mathworld.wolfram.com/topics/Logic.html MathWorld: Logic] * [http://mathworld.wolfram.com/topics/Logic.html MathWorld: Logic]
 +* [http://www.mizar.org/ Mizar Home Page]
* [http://nfocentrale.net/orcmid/readings/logic.htm Readings in Logic] * [http://nfocentrale.net/orcmid/readings/logic.htm Readings in Logic]
* [http://plato.stanford.edu/entries/logic-classical Stewart Shapiro: Classical Logic] * [http://plato.stanford.edu/entries/logic-classical Stewart Shapiro: Classical Logic]
 +* [http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm Peter Suber: A Bibliography of Non-Standard Logics]
* [http://www-history.mcs.st-andrews.ac.uk/history/index.html The Mac Tutor History of Mathematics archive] * [http://www-history.mcs.st-andrews.ac.uk/history/index.html The Mac Tutor History of Mathematics archive]
* [http://www.math-atlas.org/welcome.html The Mathematical Atlas] * [http://www.math-atlas.org/welcome.html The Mathematical Atlas]

Revision as of 08:10, 9 September 2009


Contents

Some Departments of Logic in Poland

Warszawa

Kraków

Poznań

Białystok

Lublin

Opole

Wrocław

Katowice

Toruń

Łódź

Olsztyn

Zielona Góra

Gdańsk

Szczecin

Częstochowa

Siedlce

Słupsk

Rzeszów

Bydgoszcz

Logic on-line (Polish)

Logic on-line

Logic in the Internet

Academic institutions

For fun