Solvable cases of the decision problem /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Ackermann, W. (Wilhelm), 1896- (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Amsterdam : North-Holland, 1954 [3rd printing 1968].
Σειρά:Studies in logic and the foundations of mathematics
Θέματα:
LEADER 01095nam a2200253 u 4500
001 10119798
003 GR-PaULI
005 20210117205819.0
008 160406r19681954ne eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 Π_Σ_511_300000000000000_ACK  |7 0  |8 NFIC  |9 192273  |a LISP  |b LISP  |c REF  |d 2016-04-24  |i 089193  |l 0  |o Π/Σ 511.3 ACK  |p 025000251418  |r 2016-04-24 00:00:00  |t 1  |v 2016.00  |w 2016-04-24  |y BK15 
999 |c 117871  |d 117871 
040 |a GR-PaULI  |c GR-PaULI  |b gre  |e AACR2 
082 0 4 |a 511.3  |2 23 
100 1 |a Ackermann, W.  |q (Wilhelm),  |d 1896-  |4    |9 144369  |e συγγραφέας. 
245 1 0 |a Solvable cases of the decision problem /  |c W. Ackermann. 
260 |a Amsterdam :  |b North-Holland,  |c 1954 [3rd printing 1968]. 
300 |a vii, 114 σ. ;  |c 23 εκ. 
490 1 |a Studies in logic and the foundations of mathematics 
500 |a   
504 |a Περιλαμβάνει βιβλιογραφία. 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
830 0 |9 172249  |a Studies in logic and the foundations of mathematics 
942 |2 ddc  |c BKN 
998 |c ΜΠΟΥΡΑΣ  |d 2019-09