Wyniki wyszukiwania: 2.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
Metalogika : wstęp do metateorii standardowej logiki pierwszego rzędu / Geoffrey Hunter ; z jęz. ang. przeł. Barbara Stanosz. autor
Rodzaj materiału: Tekst 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 Wydaw. Naukowe, 1982
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182473.
The Curious Inference of Boolos in Mizar and OMEGA / Christoph E. Benzmüller and Chad E. Brown. autor
Rodzaj materiału: Artykuł Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki
From insight to proof 10 (23) (2007), s. 299-386 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 299-386 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 299-386
Status: Brak dostępnych egzemplarzy.