The computational complexity of logical theories /

Bibliographic Details
Main Author: Ferrante, Jeanne, 1949-
Other Authors: Rackoff, Charles W., 1948-
Format: Book
Language:English
Published: Berlin : Springer, 1979.
Series:Lecture notes in mathematics ; LNM ; v. 718 v. 718
Subjects:

MARC

LEADER 00000nam a2200000 4500
003 AR_CdUFM
005 20160908123143.0
008 131206s1979 gw ||||| |||| 00| 0 eng d
020 |a 3-540-09501-2 
020 |a 0-387-09501-2 
100 1 |9 5159  |a Ferrante, Jeanne,  |d 1949- 
245 1 4 |a The computational complexity of logical theories /   |c Jeanne Ferrante, Charles W. Rackoff. 
260 |a Berlin :   |b Springer,   |c 1979. 
300 |a 243 p. 
490 |a Lecture notes in mathematics ;   |v v. 718  |a LNM ;  |v v. 718 
650 4 |a Lógica matemática. 
650 4 |a Computación. 
700 1 |9 13961  |a Rackoff, Charles W.,  |d 1948- 
942 |c LIBRO  |2   
945 |a MB 
952 |0 0  |1 0  |2    |4 0  |6 M_LNM_V__718_000000000000000  |7 0  |9 9711  |a MMA  |b MMA  |c LN  |d 2008-06-09  |l 0  |o M LNM v. 718   |p 06999  |r 2014-02-17  |y LIBRO 
999 |c 7487  |d 7487