Opis

• Tytuł:
  Rachunki sekwentowe w logice klasycznej
• Twórca:
  Indrzejczak, Andrzej
• Współtwórca:
  Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny, Katedra Logiki i Metodologii Nauk
• Opis:
  Prezentowana praca jest pomyślana jako wprowadzenie do niezwykle bogatej i złożonej problematyki związanej z teorią i zastosowaniami rachunków sekwentowych. Chcąc zachować rozsądne rozmiary książki siłą rzeczy dokonano w niej wyboru zagadnień, które w przekonaniu autora są najważniejsze czy po postu interesujące. Nacisk został położony na metodologiczne aspekty RS, toteż nie jest to praca z zakresu teorii dowodu, w której RS jest narzędziem do prezentacji wyników tej teorii.;
  Udostępnienie publikacji Wydawnictwa Uniwersytetu Łódzkiego finansowane w ramach projektu „Doskonałość naukowa kluczem do doskonałości kształcenia”. Projekt realizowany jest ze środków Europejskiego Funduszu Społecznego w ramach Programu Operacyjnego Wiedza Edukacja Rozwój; nr umowy: POWER.03.05.00-00-Z092/17-00.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Attribution-NonCommercial-NoDerivatives 4.0 Międzynarodowe;
  http://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2019.06.18;
  2013
• Typ:
  Book
• Język:
  polski;
  pol
• Format:
  application/pdf;
  image/jpeg
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Temat i słowa kluczowe:
  rachunki sekwentowe;
  logika klasyczna
• Identyfikator:
  Indrzejczak A., Rachunki sekwentowe w logice klasycznej, Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2013, doi: 10.18778/7525-812-7;
  978-83-7525-812-7;
  http://hdl.handle.net/11089/28907 ;
  10.18778/7525-812-7
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy