Temat: Classical logic - Prolib Integro

1 Willard Van Orman Quine, ontological relativity, ontological commitment, model theory, Peano arithmetic, non-standard model of arithmetic, non-classical logic
1 Willard Van Orman Quine, względność ontologiczna, zobowiązanie ontologiczne, teoria modeli, arytmetyka Peano, niestandardowy model arytmetyki, logika nieklasyczna
1 categorical logic
1 category theory
1 intuitionistic logic
1 non-classical logic
1 propositional logic
1 topos theory

Autor

1 Domarecki, Czesław
1 Stopa, Mariusz

Typ dokumentu

1 Artykuł
1 Inne

Język

2 polski

Forma i typ

1 artykuł w czasopiśmie
1 praca licencjacka

Kolekcja

2 Projekty
2 ROD UJ
1 APD
1 Bibliografia Publikacji Pracowników UJ
1 Nauki humanistyczne
1 Nauki społeczne
1 Prace licencjackie
1 Publikacje naukowe

Pokaż wszystkie »

Wyrównaj

Wyświetlanie 1-2 z 2

Zaznacz

Twoja półka
Dodaj cały wynik z filtrami
Dodaj wybrane pozycje
Zapisz do pliku
Wyślij e-mail

Pytanie

Czy chcesz zapisać wybrane pozycje do pliku?

Wybierz typ zapisywanego pliku:

Wyślij e-mail

Twój adres IP 216.73.216.175 zostanie dołączony do treści wiadomości e-mail.

Adres e-mail

Wybierz typ wysyłanego pliku:

Dodawanie na półkę

Widok
Ograniczony
Prosty

Autora A-Z
Autora Z-A
Tytułu A-Z
Tytułu Z-A
Roku wydania 1-9
Roku wydania 9-1

Skocz do pozycji: 1.

Tytuł:: Category theoryand some of its logical aspects
Teoria kategorii i niektóre jej logiczne aspekty
Autorzy:: Stopa, Mariusz
Data publikacji:: 2018
Słowa kluczowe:: intuitionistic logic
topos theory
propositional logic
categorical logic
category theory
non-classical logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Próba rozwiązania problemu niezdeterminowania wyboru ontologii w filozofii Quinea
An attempt at a solution of the problem of indeterminancy of ontology in Quines philosophy
Autorzy:: Domarecki, Czesław
Słowa kluczowe:: Willard Van Orman Quine, względność ontologiczna, zobowiązanie ontologiczne, teoria modeli, arytmetyka Peano, niestandardowy model arytmetyki, logika nieklasyczna
Willard Van Orman Quine, ontological relativity, ontological commitment, model theory, Peano arithmetic, non-standard model of arithmetic, non-classical logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Wyświetlanie 1-2 z 2

Mapa serwisu

Wybór indeksu wyszukiwawczego

Wszystkie pola Autor Tytuł Temat

Wybór języka

English (EN)Polski (PL)Yкраїнський (UK)

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

Informacja

Godziny pracy Biblioteki ANS im. H. Cegielskiego

poniedziałek 8:00 – 15:30

wtorek 8:00 – 15:30

środa 8:00 – 15:30

czwartek 8:00 – 15:30

piątek 8:00 – 15:30

sobota Nieczynne

W koszyku znajdują się zamówienia

W koszyku znajdują się zamówienia do wysłania. Czy chcesz wysłać je do realizacji?

Tak Nie