Informacja

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

Tytuł pozycji:

Integrating intuitionistic and classical theories

Tytuł:
Integrating intuitionistic and classical theories
Autorzy:
López-Escobar, E.
Powiązania:
https://bibliotekanauki.pl/articles/1363832.pdf
Data publikacji:
1981
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:
Fundamenta Mathematicae; 1981, 112, 2; 125-140
0016-2736
Język:
angielski
Prawa:
Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
Dostawca treści:
Biblioteka Nauki
Artykuł
  Przejdź do źródła  Link otwiera się w nowym oknie

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