Computability, complexity, logic / E. Börger.

Show other versions (1)
Bibliographic Details
Uniform Title:Berechenbarkeit, Komplexität, Logik
Studies in logic and the foundations of mathematics ; v. 128.
Main Author: Börger, E. (Egon), 1946-
Language:English
German
Published: Amsterdam ; New York : North-Holland, 1989.
Series:Studies in logic and the foundations of mathematics ; v. 128.
Subjects:
Computable functions.
Computational complexity.
Logic, Symbolic and mathematical.
Physical Description:xx, 592 pages : illustrations ; 23 cm.
Format: Book

MARC

LEADER 00000pam a2200000 a 4500
001 in00001313201
003 OCoLC
005 20220616052607.0
008 890414s1989 ne a b 001 0 eng
010 |a  89033636  
020 |a 0444874062 
035 |a (OCoLC)19722785 
040 |a DLC  |c DLC  |d EEM  |d UtOrBLW 
041 1 |a eng  |a ger 
049 |a EEMO [c.1] 
050 0 0 |a QA9.59  |b .B6713 1989 
082 0 0 |a 511.3  |2 20 
090 |a QA9.59 .B6713 1989 
100 1 |a Börger, E.  |q (Egon),  |d 1946-  |0 http://id.loc.gov/authorities/names/n84088209 
240 1 0 |a Berechenbarkeit, Komplexität, Logik 
245 1 0 |a Computability, complexity, logic /  |c E. Börger. 
260 |a Amsterdam ;  |a New York :  |b North-Holland,  |c 1989. 
300 |a xx, 592 pages :  |b illustrations ;  |c 23 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Studies in logic and the foundations of mathematics ;  |v v. 128 
500 |a Translation of: Berechenbarkeit, Komplexität, Logik. 
500 |a Includes index. 
504 |a Bibliography: pages 529-573. 
650 0 |a Computable functions.  |0 http://id.loc.gov/authorities/subjects/sh85029469 
650 0 |a Computational complexity.  |0 http://id.loc.gov/authorities/subjects/sh85029473 
650 0 |a Logic, Symbolic and mathematical.  |0 http://id.loc.gov/authorities/subjects/sh85078115 
700 1 |a Börger, E.  |q (Egon),  |d 1946-  |t Berechenbarkeit, Komplexität, Logik.  |0 http://id.loc.gov/authorities/names/n84088209 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 128.  |0 http://id.loc.gov/authorities/names/n42707789 
907 |y .b23107388  |b 211112  |c 980609 
998 |a rs  |b 980604  |c m  |d a   |e -  |f eng  |g ne   |h 0  |i 2 
935 |a ALT8450 
999 f f |i 30a71845-3abb-552b-97e4-e75bbd9cb683  |s 416e6243-f9aa-5f60-9791-f5429b2ce94d  |t 0 
952 f f |p Can Circulate  |a Michigan State University-Library of Michigan  |b Michigan State University  |c MSU Remote Storage  |d MSU Remote Storage  |t 0  |e QA9.59 .B6713 1989  |h Library of Congress classification  |i Printed Material  |m 31293004607473  |n 1