Normalization, cut-elimination, and the theory of proofs /

Normalization, cut-elimination, and the theory of proofs /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Ungar, A. M. (Anthony M.), 1945- (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Stanford, CA : CSLI, c1992.
Σειρά:CSLI lecture notes 28.
Θέματα:
Λογική, Συμβολική και μαθηματική
LEADER 01226pam a2200277 a 4500
001 2976764
003 GR-PaULI
005 20211014094326.0
008 920402s1992 caua b 001 0 eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_300000000000000_UNG  |7 0  |9 136255  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 4482  |l 0  |o 511.3 UNG  |p 025000282095  |r 2016-04-24 00:00:00  |t 1  |v 2016.00  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
999 |c 89227  |d 89227 
010 |a  92013877  
020 |a 0937073830   |c   
020 |a 0937073822   |c   
040 |a DLC  |c GR-PaULI  |d    |b gre  |e AACR2 
082 0 4 |a 511.3  |2 23 
100 1 |a Ungar, A. M.  |q (Anthony M.),   |d 1945-  |9 123540  |e συγγραφέας. 
245 1 0 |a Normalization, cut-elimination, and the theory of proofs /  |c A.M. Ungar. 
260 |a Stanford, CA :  |b CSLI,  |c c1992. 
300 |a v, 236 σ. :  |b εικ. ;  |c 24 εκ. 
490 1 |a CSLI lecture notes  |v 28. 
504 |a Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.  
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
830 |a CSLI lecture notes   |v 28.  |9 156385 
942 |2 ddc  |c BK15 
998 |c ΜΠΟΥΡΑΣ  |d 2021-10 

Παρόμοια τεκμήρια