Theory of formal systems / Smullyan Raymond M.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Smullyan, Raymond M. (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Princeton, N.J. : Princeton University Press, 1961.
Σειρά:Annals of mathematics studies 47.
Θέματα:
LEADER 01002nam a22002531 4500
001 4057366
003 GR-PaULI
005 20210804111802.0
008 840131s1961 njua b 000 0 eng
040 |a DLC/ICU  |c ICU  |d    |b gre  |e AACR2 
082 0 0 |a 511.352  |2 23 
100 1 |a Smullyan, Raymond M.  |9 9276  |e συγγραφέας. 
245 1 0 |a Theory of formal systems /  |b Smullyan Raymond M. 
260 |a Princeton, N.J. :  |b Princeton University Press,  |c 1961. 
300 |a 142 σ. :  |b εικ. ;  |c 26 εκ. 
490 1 |a Annals of mathematics studies :  |v 47. 
500 |a   
504 |a Περιλαμβάνει βιβλιογραφία. 
650 0 |a Αναδρομικές συναρτήσεις   |9 162886 
830 |a Annals of mathematics studies  |v 47.  |9 162763 
942 |2 ddc  |c BKN 
952 |0 0  |1 0  |2 ddc  |4 0  |6 Π_Σ_511_352000000000000_SMU  |7 0  |9 110831  |a LISP  |b LISP  |c REF  |d 2016-04-24  |i 09817  |l 0  |o Π/Σ 511.352 SMU  |p 025000043414  |r 2016-04-24 00:00:00  |t 1  |y BKN 
998 |c ΜΠΟΥΡΑΣ  |d 2017-06 
999 |c 74193  |d 74193