Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaKatalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach
Tytuł pozycji:

Bisymulacje modeli Kripkego dla teorii intuicjonistycznych pierwszego rzędu

Tytuł pełny:
Bisymulacje modeli Kripkego dla teorii intuicjonistycznych pierwszego rzędu / Małgorzata Kruszelnicka
Autorzy:
Kruszelnicka, Małgorzata (matematyka)
Współtwórcy:
Połacik, Tomasz. Promotor
Uniwersytet Śląski (Katowice). Instytut Matematyki. Instytucja nadająca stopień
Wydawca:
Katowice
Rok wydania:
2014
Opis fizyczny:
66 kart : ilustracje ; 30 cm
Uwagi:
Niepublikowana praca doktorska
Promotor: Tomasz Połacik
Praca doktorska. Uniwersytet Śląski w Katowicach. Instytut Matematyki, 2014
Bibliografia na kartach 64-65. Indeks
Tekst dostępny również w postaci cyfrowej
Temat:
Uniwersytet Śląski (Katowice) - rozprawy akademickie.
Modalność (logika).
Intuicjonizm matematyczny.
Logika intuicjonistyczna.
Gatunek / Forma:
Rozprawy akademickie.
Rękopis (manuskrypt)
propozycja biblioteki
LDR 01783ntm#a2200385#i#4500
001 0192905970366
003 KAT U, KAT 001
005 20220829220045.7
008 180205s2014####pl#a###f#m###|001#0#pol#c
035 %a xx004237147
035 %a (NUKAT)vtls004237147
040 %a KAT U/IW %b pol %e rda %c KAT U/IWs %d KAT U/IW
100 1 %a Kruszelnicka, Małgorzata %c (matematyka). %e Autor
245 1 0 %a Bisymulacje modeli Kripkego dla teorii intuicjonistycznych pierwszego rzędu / %c Małgorzata Kruszelnicka.
260 # %a Katowice, %c 2014.
300 %a 66 kart : %b ilustracje ; %c 30 cm.
336 %a Tekst %b txt %2 rdacontent
337 %a Bez urządzenia pośredniczącego %b n %2 rdamedia
338 %a Wolumin %b nc %2 rdacarrier
500 %a Niepublikowana praca doktorska.
500 %a Promotor: Tomasz Połacik.
502 %a Praca doktorska. Uniwersytet Śląski w Katowicach. Instytut Matematyki, 2014.
504 %a Bibliografia na kartach 64-65. Indeks.
530 %a Tekst dostępny również w postaci cyfrowej.
610 2 # %a Uniwersytet Śląski (Katowice) %v rozprawy akademickie.
650 # %a Modalność (logika).
650 # %a Intuicjonizm matematyczny.
650 # %a Logika intuicjonistyczna.
655 # %a Rozprawy akademickie.
700 1 # %a Połacik, Tomasz. %e Promotor
710 2 # %a Uniwersytet Śląski (Katowice). %b Instytut Matematyki. %e Instytucja nadająca stopień
856 4 1 %u https://www.sbc.org.pl/publication/104071
856 4 # %u https://integro.ciniba.edu.pl/integro/site/recorddetail/0192905970366 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
856 4 9 %u http://www.bc.us.edu.pl/publication/11425 %z Pełny tekst publikacji dostępny tylko z komputerów sieci bibliotek UŚ. %9 Link lokalny

Dokumenty zabezpieczone

Położenie:
CINiBA
Lokalizacja:
Magazyn
Sygnatura:
dr 3456
Nr inwentarza:
BGdr 3456
Dostępny

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz