Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 3.

Wyniki
		Aksjomatyzowalność pewnych wariantów rachunku typów synktatycznych Lambeka jako systemów redukcyjnych / Wojciech Zielonka. autor Zielonka, Wojciech Uniwersytet Warmińsko-Mazurski (Olsztyn). Wydawnictwo [pbl] Serie: Rozprawy i Monografie - Uniwersytet Warmińsko-Mazurski w Olsztynie ; 176 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Olsztyn : Wydawnictwo Uniwersytetu Warmińsko-Mazurskiego, 2012 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 176241.
		Logika matematyczna / Willard Van Orman Quine ; przełożył Leon Koj. autor Quine, W. V, (1908-2000) [Autor] Koj, Leon, (1929-2006) [Tłumaczenie] Państwowe Wydawnictwo Naukowe (1951-1992) [Wydawca] Wydanie: Wydanie pierwsze. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: polski Język oryginału: angielski Szczegóły wydania: Warszawa : Państwowe Wydawnictwo Naukowe, 1974 Zasoby online: Spis treści Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (4)Lokalizacja, sygnatura: w czytelni A 66134, ... Zamów
		Logic of descriptions : a new approach to the foundations of mathematics and science / Joanna Golińska-Pilarek and Taneli Huuskonen. autor Golińska-Pilarek, Joanna Huuskonen, Taneli Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki Papers on logic and rationality 27 (40) (2012), s. 63-94 W: Studies in Logic, Grammar and Rhetoric 27 (40) (2012), s. 63-94 W: Papers on logic and rationality : Festschrift in honour of Andrzej Grzegorczyk S. 63-94 Status: Brak dostępnych egzemplarzy.