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:

Mathematical interpretation of formal systems

Tytuł pełny:
Mathematical interpretation of formal systems / Th. Skolem [et al.]
Autorzy:
Skolem, Thoralf (1887-1963)
Wydawca:
Amsterdam : North-Holland Publishing Company
Rok wydania:
1955
Seria:
Studies in Logic and the Foundations of Mathematics
Zawartość serii:
Studies in Logic and the Foundations of Mathematics 0049-237X
Opis fizyczny:
VIII, 113 s. ; 22 cm
Uwagi:
This book contains the lectures, held at the symposion on "Mathematical interpretation of formal systems" which was organized by the 'Wiskundig Genootschap' (Mathematical Society) at Amsterdam on September 9 and 10, 1954
Bibliogr. s. 112-113
Temat:
Logika symboliczna i matematyczna - konferencje.
Książka
propozycja biblioteki
LDR 01441cam#a2200301#i#4500
001 0192203105926
003 KAT U, KAT 001
005 20210629060450.2
008 100729s1955####ne#####f#####|100#0#eng#c
035 %a xx001738594
035 %a (NUKAT)vtls001738594
040 %a WA U/94ANK %c WA U/ANK %d WA U/ANK
245 0 0 %a Mathematical interpretation of formal systems / %c Th. Skolem [et al.].
260 # %a Amsterdam : %b North-Holland Publishing Company, %c 1955.
300 %a VIII, 113 s. ; %c 22 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 Studies in Logic and the Foundations of Mathematics
500 %a This book contains the lectures, held at the symposion on "Mathematical interpretation of formal systems" which was organized by the 'Wiskundig Genootschap' (Mathematical Society) at Amsterdam on September 9 and 10, 1954.
504 %a Bibliogr. s. 112-113.
650 # %a Logika symboliczna i matematyczna %v konferencje.
700 1 # %a Skolem, Thoralf %d (1887-1963).
830 0 %a Studies in Logic and the Foundations of Mathematics %x 0049-237X
856 4 # %u https://integro.ciniba.edu.pl/integro/site/recorddetail/0192203105926 %z Rekord w katalogu OPAC biblioteki %9 LinkOPAC

Dokumenty przeznaczone do wypożyczenia

Położenie:
CINiBA
Lokalizacja:
Magazyn
Sygnatura:
24969
Nr inwentarza:
BG 24969
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