Dostosuj wyszukiwanie

Wyniki wyszukiwania: 35.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
Logika formalna : systemy logiczne : wstęp do metalogiki / Ludwik Borkowski. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Warszawa : Państwowe Wydawnictwo Naukowe, 1970
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 179867, ...
Logic in algebraic form : three languages and theories / William Craig. autor Serie: Studies in Logic and the Foundations of Mathematics ; vol. 72
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Amsterdam [etc.] : North-Holland, 1974
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 65527.
Simple program schemes and formal languages / Joost Engelfriet. autor Serie: Lecture Notes in Computer Science ; 20
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Berlin : Springer-Verlag, 1974
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 78828.
Logic for computer science / Steve Reeves, Michael Clarke. autor Serie: International Computer Science Series
Rodzaj materiału: Tekst Tekst; Format: druk
Szczegóły wydania: Wokingham : Addison-Wesley, 1990
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 180062.
Elementy logiki matematycznej / Aleksander Rutkowski. autor Serie: Biblioteczka Matematyczna ; 35
Wydanie: Wydanie I.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Ogólne;
Szczegóły wydania: Warszawa : Wydawnictwa Szkolne i Pedagogiczne, 1978
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Instytutu Konstrukcji Budowlanych (1)Lokalizacja, sygnatura: Inst.Konstr.Bud. IB M13046.
Some Logical Aspects of Mathematical Reasoning / Xiquan Liang, Fuguo Ge and Li Yan. autor
Rodzaj materiału: Artykuł Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki
From insight to proof 10 (23) (2007), s. 33-44 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 33-44 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 33-44
Status: Brak dostępnych egzemplarzy.
Mathematical foundations of programming / Frank S. Beckman. autor Serie: Addison-Wesley Systems Programming Series
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Reading [etc.] : Addison-Wesley Publishing Company, 1980
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 94106.
Logic year 1979-80 : the University of Connecticut, USA / ed. by M. Lerman, J. H. Schmerl, and R. I. Soare. autor Serie: Lecture Notes in Mathematics ; 859
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1981
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 162299.
Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod redakcją Witolda Marciszewskiego. autor
Wydanie: Wydanie pierwsze.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Warszawa : Państwowe Wydawnictwo Naukowe, 1987
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182472.
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier. autor Serie: Harper & Row Computer Science and Technology Series
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: New York [etc.] : Harper & Row, cop. 1986
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 108309.
Algorithmic logic / G. Mirkowska and A. Salwicki. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Warszawa : Dordrecht [etc.] : PWN-Polish Scientific Publishers ; D. Reidel Publishin Company ; cop. 1987
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 111791.
Lattices to logic / Roy Dubisch. autor Serie: Blaisdell Scientific Paperback
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: New York [etc.] : Blaisdell Publishing Company, cop. 1964
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182393.
Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla / Roman Murawski. autor Serie: Matematyka - Uniwersytet im. Adama Mickiewicza w Poznaniu ; nr 11
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: polski Język streszczenia: angielski
Szczegóły wydania: Poznań : Wydawnictwo Naukowe UAM, 1990
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 179712.
Infinitary logic : in memoriam Carol Karp / a collections of papers by various authors ; edited by D. W. Kueker. autor Serie: Lecture Notes in Mathematics ; 492
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1975
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 160390.
Metody logiki : dedukcja [dokument elektroniczny] / Andrzej Indrzejczak, Marek Nowak. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Łódź : Wydawnictwo Uniwersytetu Łódzkiego, 2016
Zasoby online:
Status: Brak dostępnych egzemplarzy.
Proof systems for logics based on non-deterministic multiple - valued structures / Arnon Avron, Beata Konikowska. autor Serie: Prace IPI PAN ; 976
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warsaw : Wydaw. Instytutu Podstaw Informatyki PAN, 2004
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Logika matematyczna / Willard Van Orman Quine ; przełożył Leon Koj. autor
Wydanie: Wydanie pierwsze.
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 Wydawnictwo Naukowe, 1974
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (4)Lokalizacja, sygnatura: w czytelni A 66134, ...
Zamów
O logice matematycznej / Roger C. Lyndon ; tłumaczył Wiktor Marek. autor Serie: Małe Monografie PWN. Matematyka
Wydanie: Wydanie I.
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 Wydawnictwo Naukowe, 1968
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Instytutu Konstrukcji Budowlanych (1)Lokalizacja, sygnatura: Inst.Konstr.Bud. IB M9155.
O logice matematycznej / Roger C. Lyndon ; [tł. Wiktor Marek]. autor Serie: Małe Monografie PWN. Matematyka
Wydanie: Wyd. 2.
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, 1978
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (3)Lokalizacja, sygnatura: w czytelni A 146282, ...
Zamów