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 ; London : North-Holland Publishing Company
Wydanie:
2nd ed
Rok wydania:
1971
Seria:
Studies in Logic and the Foundations of Mathematics
Zawartość serii:
Studies in Logic and the Foundations of Mathematics 0049-237X 0049-237X
Opis fizyczny:
VIII, 113 s. ; 23 cm
ISBN:
0720422264 ; 720422264
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 01844cam#a2200397#i#4500
001 0192001829229
003 KAT U, KAT 001
005 20220831211813.9
008 081024s1971####ne#####f#####|100#0#eng#c
020 %a 0720422264 %z 720422264
035 %a xx001218584
035 %a (NUKAT)vtls001218584
040 %a WA U/94ANK %c WA U/ANK %d WA U/ANK
044 %a ne %a xxk
245 0 0 %a Mathematical interpretation of formal systems / %c Th. Skolem [et al.].
250 %a 2nd ed.
260 # %a Amsterdam ; %a London : %b North-Holland Publishing Company, %c 1971.
300 %a VIII, 113 s. ; %c 23 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 %v 0049-237X
856 4 # %u https://integro.ciniba.edu.pl/integro/site/recorddetail/0192001829229 %9 LinkOPAC
920 %a 0-7204-2226-4 %z 7204-2226-4
982 %a 510.6 %c MATHEMATICAL %d SKOLEM, T. %z Logika matematyczna

Dokumenty przeznaczone do wypożyczenia

Położenie:
CINiBA
Lokalizacja:
Dział 5 - Matematyka. Nauki Przyrodnicze - POZIOM 1
Sygnatura:
510.6
MATHEMATICAL
SKOLEM, T.
Nr inwentarza:
BG 110070
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