Widok standardowy Widok MARC Widok ISBD

Proof theory : an introduction / Wolfram Pohlers.

Autor:

Rodzaj materiału: Tekst

TekstSerie: Lecture Notes in Mathematics ; 1407Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1989.Opis: VI, 213 s. ; 24 cmTyp zawartości:

Tryb odtwarzania:

Typ nośnika:

ISBN:

Tematy:

Zasoby online:

Inna postać fizyczna:

Egzemplarze
Typ dokumentu	Obecna biblioteka	Kolekcja	Sygnatura	Status	Kod kreskowy
Niewypożyczane	Biblioteka Politechniki Poznańskiej w czytelni	Czytelnia	A 162447	Dostępny	0000080626

Liczba zamówień: 0

Bibliogr. s. 190-207. Indeks.

Dostępne również w formie elektronicznej.

Udostępnij

Nazwa	Wartość	Okres ważności	Opis
CGISESSID	identyfikator sesji	Do czasu wylogowania lub zakończenia sesji	Plik cookie sesji
KohaOpacLanguage	Kod języka	3 lata	Przechowuje kod ostatnio wybranego języka, dzięki czemu katalog online będzie wyświetlany w tym samym języku przy następnej wizycie.
form_serialized form_serialized_limits	parametry wyszukiwania	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	Plik przechowuje parametry ostatniego wyszukiwania zaawansowanego
search_path_code	ads (mniej) lub exs (więcej)	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	plik cookie jQuery. Powiązane z plikami cookie w formacie serialized_form*. Zapamiętuje, czy w formularzu wyszukiwania zaawansowanego zastosowano opcję „Więcej opcji” lub „Mniej opcji”.
num_paragraph	Ilość dodanych opcji wyszukiwania	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	plik cookie jQuery. Służy do przechowywania liczby utworzonych opcji, gdy użytkownik wybierze opcję „Więcej opcji” w wyszukiwaniu zaawansowanym, aby zwiększyć liczbę pól wyszukiwania.
bib_list	Lista identyfikatorów rekordów	Koniec sesji lub do opróżnienia koszyka.	Przechowuje zawartość koszyka w katalogu. Ustawia moment dodania rekordów do koszyka po raz pierwszy.