Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983.

Bibliographic Details
Corporate Author: Logic Colloquium Aachen, Germany
Other Authors: Müller, G. H. (Gert Heinz), 1923-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, 1984.
Series:Lecture notes in mathematics (Springer-Verlag) ; 1103-1104.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a22000008a 4500
001 in00000556021
005 20151014052012.0
008 841127s1984 wb b 10010 eng
010 |a  84026704  
035 |a (OCoLC)11518968 
035 |9 ACJ7112AM 
039 0 |a 2  |b 3  |c 3  |d 3  |e 3 
040 |a DLC  |c DLC  |d TXA  |d UtOrBLW 
049 |a TXAM  |v 1 [A08251000]  |v 2 [A08251068] 
050 0 0 |a QA3  |b .L28 no. 1103-, 1104  |a QA9.A1 
082 0 |a 510 s  |a 511.3  |2 19 
111 2 |a Logic Colloquium  |d (1983 :  |c Aachen, Germany) 
245 1 0 |a Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983. 
263 |a 8412 
264 1 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c 1984. 
300 |a 2 volumes 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Lecture notes in mathematics ;  |v 1103-1104 
504 |a Includes bibliographies. 
505 0 |a pt. 1. Models and sets / edited by G.H. Muller and M.M. Richter -- pt. 2. Computation and proof theory / edited by E. Borger ... et al. 
650 0 |a Logic, Symbolic and mathematical  |v Congresses. 
700 1 |a Müller, G. H.  |q (Gert Heinz),  |d 1923- 
830 0 |a Lecture notes in mathematics (Springer-Verlag) ;  |v 1103-1104. 
999 |a MARS 
999 f f |s ab15b764-3a58-3414-a0ab-ade622e8d432  |i 5fee426a-b782-30b9-9844-a11ab9db60bd  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |s JLF  |d Remote Storage  |t 0  |e QA3 .L28 no. 1103-, 1104  |h Library of Congress classification  |i unmediated -- volume  |m A14808251068 
998 f f |a QA3 .L28 no. 1103-, 1104  |t 0  |l Remote Storage