Computation and proof theory /

Bibliographic Details
Other Authors: Richter, Michael M. (ed.)
Format: Book
Language:English
Published: Berlin : Springer, 1984.
Series:Lecture notes in mathematics ; v. 1104
LNM ; v. 1104
Subjects:

MARC

LEADER 00000nam a2200000 4500
003 AR_CdUFM
005 20160908121708.0
008 130708s1984 gw ||||| |||| 00| 0 eng d
020 |a 038713901X 
020 |a 354013901X 
040 |a AR_CdUFM  |c AR_CdUFM 
245 0 0 |a Computation and proof theory /   |c ed. Michael M. Richter. 
260 |a Berlin :   |b Springer,   |c 1984. 
300 |a viii, 475 p. ;  |c 25 cm. 
490 0 |a Lecture notes in mathematics ;   |v v. 1104 
490 0 |a LNM ;  |v v. 1104 
650 4 |a Computación. 
700 1 |9 14353  |a Richter, Michael M.,   |e ed. 
942 |c LIBRO  |2   
945 |a MCR  |d 2013-07-08 
952 |0 0  |1 0  |2    |4 0  |6 M_LNM_V__1104_000000000000000  |7 0  |9 16  |a MMA  |b MMA  |c LN  |d 2008-06-09  |l 0  |o M LNM v. 1104   |p 07830  |r 2014-02-19 00:00:00  |w 2008-06-09  |y LIBRO 
999 |c 16  |d 16