Hide filters
Sorting
Source
Library Catalogue
(2)
Form of Work
Książki
(2)
Status
available
(1)
Branch
Wypożyczalnia
(1)
Magazyn
(1)
Author
Sujczyńska Monika
(1)
Tarski Alfred
(1)
Zalewska Anna
(1)
Year
2000 - 2009
(1)
1990 - 1999
(1)
Country
Poland
(2)
Language
English
(1)
Polish
(1)
Subject
Logika
(2)
Algorytmy
(1)
Metodologia
(1)
2 results Filter
No cover
Book
In basket
Program Verification with Algorithmic Logic / Anna Zalewska. - Warszawa : Philomath - Zakł. Wydaw. Fundacji na Rzecz Informatyki, Logiki i Matematyki, 2001. - 105 s. ; 24 cm.
(Studies in the Methodology of the Social Sciences)
Author
Zalewska Anna.
Subject
Logika Algorytmy Metodologia
Bibliogr.s. [101] - 103. - Sum.
available only on site
This item is available in one branch. Expand information to see details.
Magazyn
Copies are only available in the library: sygn. 105486 E (1 egz.)
No cover
Book
In basket
Wprowadzenie do logiki i do metodologii nauk dedukcyjnych : przekład z czwartej edycji angielskiej wydanej pod redakcją Jana Tarskiego / Alfred Tarski ; tł. Monika Sujczyńska. - Warszawa : Philomath - Zakł. Wydaw. Fundacji na Rzecz Informatyki, Logiki i Matematyki : Heuros - Wydaw., 1994. - XXV, [1], 261 s. : fot. ; 24 cm.
(COGITO ISSN 1425-8455 ; Nr 1)
Author
Tarski Alfred. Sujczyńska Monika. Tł.
Subject
Logika
Tyt. oryg. : Introduction to Logic and to the Metho- dology of Deductive Sciences.
available to loan
This item is available in one branch. Expand information to see details.
Wypożyczalnia
There are copies available to loan: sygn. 89951, 89952 (2 egz.)
Also derive:
shelf marks
IDs
subject headings
location
summary
ISBN number
sort key
adres wersji elektronicznej
copies localization
opis fizyczny
Report sorting:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
The item has been added to the basket. If you don't know what the basket is for, click here for details.
Do not show it again

Deklaracja dostępności