Czasopisma
humanistyczne
O projekcie
Lista
czasopism
Lista
autorów
Lista
wydawnictw
Wyszukiwanie
zaawansowane
Znaleziono 7 artykułów
Andrzej Pietruszczak
Tytuł artykułu
Autorzy
Strony
Czynności
Standardowe rachunki nazw z funktorem Leśniewskiego
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1991, Tom 1 (224)
Andrzej Pietruszczak
s. 5-29
Pełny tekst
Zacytuj
Udostępnij
Czysty tekst
Pobierz cytat
Andrzej Pietruszczak, Standardowe rachunki nazw z funktorem Leśniewskiego , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1991, 1 (224), , s. 5-29
BibTeX
Pobierz cytat
@Article{166359, author = "Andrzej Pietruszczak", title = "Standardowe rachunki nazw z funktorem Leśniewskiego ", year = 1991, volume = 1 (224), number = , journal = Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, pages = s. 5-29, }
O ścisłym wynikaniu logicznym i jego modyfikacji
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1992, Tom 3 (255)
Andrzej Pietruszczak
s. 5-20
Pełny tekst
Zacytuj
Udostępnij
Czysty tekst
Pobierz cytat
Andrzej Pietruszczak, O ścisłym wynikaniu logicznym i jego modyfikacji , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1992, 3 (255), , s. 5-20
BibTeX
Pobierz cytat
@Article{75095, author = "Andrzej Pietruszczak", title = "O ścisłym wynikaniu logicznym i jego modyfikacji ", year = 1992, volume = 3 (255), number = , journal = Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, pages = s. 5-20, }
Rozstrzygalność w bezkwantyfikatorowym rachunku nazw
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1992, Tom 3 (255)
Andrzej Pietruszczak
s. 21-43
Pełny tekst
Zacytuj
Udostępnij
Czysty tekst
Pobierz cytat
Andrzej Pietruszczak, Rozstrzygalność w bezkwantyfikatorowym rachunku nazw , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1992, 3 (255), , s. 21-43
BibTeX
Pobierz cytat
@Article{75096, author = "Andrzej Pietruszczak", title = "Rozstrzygalność w bezkwantyfikatorowym rachunku nazw ", year = 1992, volume = 3 (255), number = , journal = Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, pages = s. 21-43, }
Rachunek zdań z implikacją konektywną Reichenbacha
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1991, Tom 2 (235)
Andrzej Pietruszczak
s. 23-39
Pełny tekst
Zacytuj
Udostępnij
Czysty tekst
Pobierz cytat
Andrzej Pietruszczak, Rachunek zdań z implikacją konektywną Reichenbacha , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1991, 2 (235), , s. 23-39
BibTeX
Pobierz cytat
@Article{166358, author = "Andrzej Pietruszczak", title = "Rachunek zdań z implikacją konektywną Reichenbacha ", year = 1991, volume = 2 (235), number = , journal = Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, pages = s. 23-39, }
O pewnym ujęciu logiki tradycyjnej
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1991, Tom 1 (224)
Andrzej Pietruszczak
s. 31-41
Pełny tekst
Zacytuj
Udostępnij
Czysty tekst
Pobierz cytat
Andrzej Pietruszczak, O pewnym ujęciu logiki tradycyjnej , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1991, 1 (224), , s. 31-41
BibTeX
Pobierz cytat
@Article{166355, author = "Andrzej Pietruszczak", title = "O pewnym ujęciu logiki tradycyjnej ", year = 1991, volume = 1 (224), number = , journal = Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, pages = s. 31-41, }
Teoriomnogościowa formalizacja pewnej interpretacji formuł rachunku nazw z kwantyfikatorami
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1991, Tom 2 (235)
Andrzej Pietruszczak
s. 41-52
Pełny tekst
Zacytuj
Udostępnij
Czysty tekst
Pobierz cytat
Andrzej Pietruszczak, Teoriomnogościowa formalizacja pewnej interpretacji formuł rachunku nazw z kwantyfikatorami , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1991, 2 (235), , s. 41-52
BibTeX
Pobierz cytat
@Article{75097, author = "Andrzej Pietruszczak", title = "Teoriomnogościowa formalizacja pewnej interpretacji formuł rachunku nazw z kwantyfikatorami ", year = 1991, volume = 2 (235), number = , journal = Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, pages = s. 41-52, }
Stała Leśniewskiego w teoriach sylogistycznych : semantyczne badania pewnych kwantyfikatorowych rachunków nazw
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1992, Tom 3 (255)
Andrzej Pietruszczak
s. 45-76
Pełny tekst
Zacytuj
Udostępnij
Czysty tekst
Pobierz cytat
Andrzej Pietruszczak, Stała Leśniewskiego w teoriach sylogistycznych : semantyczne badania pewnych kwantyfikatorowych rachunków nazw , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1992, 3 (255), , s. 45-76
BibTeX
Pobierz cytat
@Article{166356, author = "Andrzej Pietruszczak", title = "Stała Leśniewskiego w teoriach sylogistycznych : semantyczne badania pewnych kwantyfikatorowych rachunków nazw ", year = 1992, volume = 3 (255), number = , journal = Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, pages = s. 45-76, }