ロード中...

Enumerability.Decidability Computability

書誌詳細
第一著者: Hermes,Hans
フォーマット: Printed Book
言語:English
出版事項: New York: Springer-Verlag, 1965.
版:1965.
主題:
LEADER 00642nam a22001694a 4500
008 150129n ii |||gr||||Z||||||eng
082 |a 164 HER 
100 |a Hermes,Hans. 
245 1 |a Enumerability.Decidability Computability  |h Textual Documents 
250 |a 1965. 
260 |a New York:  |b Springer-Verlag,  |c 1965. 
300 |a ix; 245p.:  |e 04773. 
630 |a Mathematics,Turning Machines,Historical Remarks. 
852 |t 1  |p STA04773  |b General   |k 164 HER  |f 00000  |c Shelf - 30 
942 |c BK 
999 |c 220272  |d 220272 
952 |0 0  |1 0  |4 0  |6 164_000000000000000_HER  |7 0  |9 234415  |a STA  |b STA  |c Shelf - 30  |d 2019-12-11  |l 0  |o 164 HER  |p STA04773  |r 2019-12-11  |t 1  |w 2019-12-11  |y BK