Wyniki wyszukiwania: 3.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
Chiron : A Multi-Paradigm Logic / William M. Farmer. autor
Rodzaj materiału: Artykuł Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki
From insight to proof 10 (23) (2007), s. 1-19 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 1-19 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 1-19
Status: Brak dostępnych egzemplarzy.
Arytmetyka liczb całkowitych : system aksjomatyczny / Witold Wilkosz. autor Serie: Biblioteczka Kółka Matematyczno-Fizycznego Uczniów Uniwersytetu Jagiellońskiego ; nr 1
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Kraków : Warszawa [i pozostałe] : Nakładem Kółka Matematyczno-Fizycznego U.U.J., ; Skład Główny w księgarniach Gebethnera i Wolffa, 1932
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 7697.
Infinitary combinatorics and the axiom of determinateness / Eugene M. Kleinberg. autor Serie: Lecture Notes in Mathematics ; 612
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1977
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 162278.