Zagadnienia syntaktyki i semantyki systemów dedukcyjnych

MARC

• 002 a Zagadnienia syntaktyki i semantyki systemów dedukcyjnych
• 003 a ADAM JONKISZ (Autor)
• 003 e 0000-0001-9850-2137
• 004 a Monografia naukowa
• 005 a 2024
• 006 c Akademia Ignatianum w Krakowie
• 007 a 978-83-7614-616-4
• 011 a https://wydawnictwo.ignatianum.edu.pl/zagadnienia-syntaktyki-i-semantyki-systemow-dedukcyjnych.htm
• 016 a Kraków
• 017 a 254
• 023 a dowody indukcyjne
• 023 a metody metalogiki
• 023 a modelu (teoromodelowe i teoriomnogościowe)
• 023 a niesprzeczność
• 023 a pełność systemu
• 023 a pojęcie konsekwencji
• 023 a pojęcie spełniania
• 023 a postaci normalne
• 023 a prawdy
• 023 a rozstrzygalność systemu
• 023 a semantyczne pojęcie niesprzeczności
• 023 a typy systemów dedukcyjnych
• 023 a wynikanie logiczne
• 023 a zupełność
• 025 a Zagadnienia syntaktyki i semantyki systemów dedukcyjnych
• 336 a Monografia naukowa
• 985 a Wydział Filozoficzny
• 985 b Instytut Filozofii
• 999 a filozofia

Dublin Core

Indexes

• Title: Zagadnienia syntaktyki i semantyki systemów dedukcyjnych
• Author: ADAM JONKISZ (Autor)
• Publisher: Akademia Ignatianum w Krakowie
• Date: 2024
• Discipline: filozofia
• Keywords in Polish:
  • dowody indukcyjne
  • metody metalogiki
  • modelu (teoromodelowe i teoriomnogościowe)
  • niesprzeczność
  • pełność systemu
  • pojęcie konsekwencji
  • pojęcie spełniania
  • postaci normalne
  • prawdy
  • rozstrzygalność systemu
  • semantyczne pojęcie niesprzeczności
  • typy systemów dedukcyjnych
  • wynikanie logiczne
  • zupełność
• Category: Monografia naukowa
• Language: Zagadnienia syntaktyki i semantyki systemów dedukcyjnych
• URL: https://wydawnictwo.ignatianum.edu.pl/zagadnienia-syntaktyki-i-semantyki-systemow-dedukcyjnych.htm

Files