Metamathematical investigation of intuitionistic arithmetic and analysis

Tytuł pełny:: Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra (ed.)
Współtwórcy:: Troelstra, Anne Sjerp. Redaktor
Wydawca:: Berlin : Springer-Verlag
Rok wydania:: 1973
Seria:: Lecture Notes in Mathematics ; 344
Zawartość serii:: Lecture Notes in Mathematics 0075-8434 344
Opis fizyczny:: XVII, 485 s. : rys., wykr. ; 24 cm
ISBN:: 3540064915
0387064915
Uwagi:: Bibliogr. s. [462]-475
Indeks
Dostępne również w formie elektronicznej
Temat:: Teoria dowodu.
Teoria modeli.
Intuicjonizm matematyczny.
: Książka

LDR			01840cam#a2200421#i#4500
001			0192002438941
003			KAT U, KAT 001
005			20220829230259.5
008			050419s1973####gw#a###\|#####\|001#\|\|eng\|c
020			%a 3540064915 %q Berlin
020			%a 0387064915 %q New York
035			%a zz2005785277
035			%a (NUKAT)vtls000471616
040			%a GD U/MZ %c GD U/MZ %d GD U/MZ %d GD /AEKs %d TOR U/WS %d TOR U/WS
245	0	0	%a Metamathematical investigation of intuitionistic arithmetic and analysis / %c A. S. Troelstra (ed.).
260	#		%a Berlin : %b Springer-Verlag, %c 1973.
300			%a XVII, 485 s. : %b rys., wykr. ; %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 Lecture Notes in Mathematics ; %v 344
504			%a Bibliogr. s. [462]-475.
504			%a Indeks.
530			%a Dostępne również w formie elektronicznej.
650		#	%a Teoria dowodu.
650		#	%a Teoria modeli.
650		#	%a Intuicjonizm matematyczny.
700	1	#	%a Troelstra, Anne Sjerp. %e Redaktor
830		0	%a Lecture Notes in Mathematics %x 0075-8434 %v 344
856	4	1	%u https://www.infona.pl/resource/isbn/9783540064916
856	4	#	%u https://integro.ciniba.edu.pl/integro/site/recorddetail/0192002438941 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
920			%a 3-540-06491-5 %q Berlin
920			%a 0-387-06491-5 %q New York
982			%a 510.6 %c METAMATHEMATI %d TROELSTRA, A. %z Logika matematyczna

Informacja

Anonimowy użytkownik nie może zamawiać i rezerwować dokumentów!

Wyświetl egzemplarze z wybranej biblioteki :

Wolny dostęp