Description

• Title:
  Rachunki sekwentowe w logice klasycznej
• Creator:
  Indrzejczak, Andrzej
• Contributor:
  Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny, Katedra Logiki i Metodologii Nauk
• Description:
  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.
• Object availability:
  free access
• Rights:
  Attribution-NonCommercial-NoDerivatives 4.0 Międzynarodowe;
  http://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2019.06.18;
  2013
• Type:
  Book
• Language:
  Polish;
  pol
• Format:
  application/pdf;
  image/jpeg
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Subject:
  rachunki sekwentowe;
  logika klasyczna
• Identifier:
  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
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  seek permission
• Type:
  image