40360
No cover
Book
In basket
Wybrane zagadnienia z teorii rekursji / Małgorzata Moczurad. - Kraków : Wydawnictwo Uniwersytetu Jagiellońskiego, 2002. - 114 s. ; 24 cm.
Author
Moczurad Małgorzata.
Subject
Teoria rekursywności Rachunek lambda Rozstrzygalność (logika matematyczna) Maszyny Turinga
Instytut
IS
Indeks ISBN
83-233-1603-1
1. Wstęp; 2. Elementy teorii rekursji; 3. Maszyny Turinga i problemy rozstrzygalne;4. Prosty rachunek lambda bez typów;
zob. w.bibliotece.pl
Availability:
Wypożyczalnia
There are copies available to loan: sygn. 18392, 18393 (2 egz.)
Czytelnia - Magazyn
Copies are only available in the library: sygn. 18391/XXI czyt. (1 egz.)
Notes:
Bibliography, etc. note
Bibliogr. 109-110 s.
Reviews:
Confirm report execution
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