Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 7.

Wyniki
		Proof theory : an introduction / Wolfram Pohlers. autor Pohlers, Wolfram Serie: Lecture Notes in Mathematics ; 1407 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1989 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 162447.
		On the shape of mathematical arguments / A. J. M. van Gasteren ; forew. by Edsger W. Dijkstra. autor Van Gasteren, Antonetta J. M, (1952- ) Dijkstra, Edsger Wybe, (1930-2002) [Przedm.] Serie: Lecture Notes in Computer Science ; 445 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin : Springer, 1990 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181411.
		O dowodzie matematycznym / Witold A. Pogorzelski, Jerzy Słupecki. autor Pogorzelski, Witold Adam, (1927- ) Słupecki, Jerzy, (1904-1987) Serie: Biblioteczka Matematyczna ; 11 Wydanie: Wyd. 2. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Warszawa : Państwowe Zakłady Wydawnictw Szkolnych, 1970 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: zbiór archiwalny Mg 56208.
		Combinators, [lambda]-terms and proof theory / Sören Stenlund. autor Stenlund, Sören D. Reidel Publishing Company [] Serie: Synthese Library Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Dordrecht : D. Reidel Publishing Company, cop. 1972 Inny tytuł: Combinators, L-terms and proof theory Zasoby online: Spis treści Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 65136.
		Tableau systems for first order number theory and certain higher order theories / Sue Toledo. autor Toledo, Sue Ann, (1940- ) Serie: Lecture Notes in Mathematics ; 447 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1975 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 160449.
		O pojęciu dowodu w matematyce / Krzysztof Wójtowicz ; Fundacja na Rzecz Nauki Polskiej. autor Wójtowicz, Krzysztof, (1967- ) Uniwersytet Mikołaja Kopernika (Toruń). Wydawnictwo Naukowe [] Serie: Monografie Fundacji na rzecz Nauki Polskiej Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: polski Język streszczenia: angielski Szczegóły wydania: Toruń : Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, 2012 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 175267, ... Zamów
		Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz [et al.]. autor Buchholz, Wilfried, (1948- ) Serie: Lecture Notes in Mathematics ; 897 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1981 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 162327.