Proof theory and intuitionistic systems

Tytuł pełny:: Proof theory and intuitionistic systems / Bruno Scarpellini
Autorzy:: Scarpellini, Bruno
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1971
Seria:: Lecture Notes in Mathematics : a collection of informal reports and seminars ; 212
Zawartość serii:: Lecture Notes in Mathematics 0075-8434 212
Opis fizyczny:: VII, 290, [1] s. : il. ; 26 cm
ISBN:: 354005541X
038705541X
Uwagi:: Bibliogr. s. [291]
Dostępne również w formie elektronicznej
Temat:: Teoria dowodu.
Intuicjonizm matematyczny.
: Książka

LDR			01846cam#a2200421#i#4500
001			0192002476193
003			KAT U, KAT 001
005			20220829230431.5
008			091125s1971####gw#a###f#####\|000#0#eng#c
020			%a 354005541X %q Berlin
020			%a 038705541X %q New York
035			%a xx001472903
035			%a (NUKAT)vtls001472903
040			%a KAT U/czRM %c KAT U/czRM %d KAT U/czRM %d TOR U/WS
100	1		%a Scarpellini, Bruno.
245	1	0	%a Proof theory and intuitionistic systems / %c Bruno Scarpellini.
260	#		%a Berlin [etc.] : %b Springer-Verlag, %c 1971.
300			%a VII, 290, [1] s. : %b il. ; %c 26 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 : a collection of informal reports and seminars ; %v 212
504			%a Bibliogr. s. [291].
530			%a Dostępne również w formie elektronicznej.
650		#	%a Teoria dowodu.
650		#	%a Intuicjonizm matematyczny.
830		0	%a Lecture Notes in Mathematics %x 0075-8434 %v 212
856	4	1	%u https://www.infona.pl/resource/isbn/9783540055419
856	4	#	%u https://integro.ciniba.edu.pl/integro/site/recorddetail/0192002476193 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
920			%a 3-540-05541-X %q Berlin
920			%a 0-387-05541-X %q New York
982			%a 510.6 %c SCARPELLINI, B %d PROOF THEORY %z Logika matematyczna

Informacja

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

Wyświetl egzemplarze z wybranej biblioteki :

Wolny dostęp