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:

An algebraic and Kripke-style approach to a certain extension of intuitionistic logic

Tytuł pełny:
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic / Cecylia Rauszer ; Polska Akademia Nauk. Instytut Matematyczny
Autorzy:
Rauszer, Cecylia (1942-1994)
Współtwórcy:
Państwowe Wydawnictwo Naukowe (1951-1992). Wydawca
Wydawca:
Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:
1980
Seria:
Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 167
Zawartość serii:
Dissertationes Mathematicae 0012-3862 167
Opis fizyczny:
67 s. ; 24 cm
ISBN:
8301011033
Uwagi:
Bibliogr. s. 59. Indeksy
Dostępne również w formie elektronicznej
Temat:
Intuicjonizm matematyczny.
Książka
propozycja biblioteki
LDR 01707cam#a2200373#i#4500
001 0192002405234
003 KAT U, KAT 001
005 20220829230048.5
008 090806s1980####pl#####f#####|001#0#eng#c
020 %a 8301011033
035 %a xx001400536
035 %a (NUKAT)vtls001400536
040 %a KAT U/AM %c KAT U/AM %d KAT U/AM %d OLSZT 003/bak %d TOR U/WS
100 1 %a Rauszer, Cecylia %d (1942-1994).
245 1 3 %a An algebraic and Kripke-style approach to a certain extension of intuitionistic logic / %c Cecylia Rauszer ; Polska Akademia Nauk. Instytut Matematyczny.
260 # %a Warszawa : %b Państwowe Wydawnictwo Naukowe, %c 1980.
300 %a 67 s. ; %c 24 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
490 1 %a Dissertationes Mathematicae = Rozprawy Matematyczne, %x 0012-3862 ; %v 167
504 %a Bibliogr. s. 59. Indeksy.
530 %a Dostępne również w formie elektronicznej.
650 # %a Intuicjonizm matematyczny.
710 2 # %a Państwowe Wydawnictwo Naukowe (1951-1992). %4 pbl
830 0 %a Dissertationes Mathematicae %x 0012-3862 %v 167
856 4 1 %u https://www.infona.pl/resource/isbn/8301011033
856 4 # %u https://integro.ciniba.edu.pl/integro/index.php?r=site/recorddetail&id=0192002405234 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
920 %a 83-01-01103-3
982 %a 510.6 %c RAUSZER, C. %d ALGEBRAIC AND %z Logika matematyczna

Dokumenty przeznaczone do wypożyczenia

Położenie:
CINiBA
Lokalizacja:
Dział 5 - Matematyka. Nauki Przyrodnicze - POZIOM 1
Sygnatura:
510.6
RAUSZER, C.
ALGEBRAIC AND
Nr inwentarza:
BGn 2
Wolny dostęp

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