Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /

Bibliographic Details
Corporate Authors: Logic Symposia Hakone-machi, Japan, Logic Symposia
Other Authors: Müller, G. H. (Gert Heinz), 1923-, Takeuti, Gaisi, 1926-2017, Tugué, T. (Tosiyuki), 1926-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, 1981.
Series:Lecture notes in mathematics (Springer-Verlag) ; 891.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a22000008a 4500
001 in00000070750
005 20171028064235.0
008 811026s1981 wb b 10010 eng
010 |a  81018424  
020 |a 0387111611 (U.S.) 
035 |a (OCoLC)07944723 
035 |9 AAJ9066AM 
039 0 |a 2  |b 3  |c 3  |d 3  |e 3 
040 |a DLC  |c DLC  |d TXA  |d UtOrBLW 
049 |a TXAM  |c [1672100] 
050 0 0 |a QA3  |b .L28 no. 891  |a QA9.A1 
082 0 |a 510 s  |a 511.3  |2 19 
111 2 |a Logic Symposia  |d (1979 :  |c Hakone-machi, Japan) 
245 1 0 |a Logic Symposia, Hakone, 1979, 1980 :  |b proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /  |c edited by G.H. Muller, G. Takeuti, and T. Tugue. 
263 |a 8111 
264 1 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c 1981. 
300 |a xi, 394 pages ;  |c 24 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 Lecture notes in mathematics ;  |v 891 
504 |a Includes bibliographies. 
650 0 |a Logic, Symbolic and mathematical  |v Congresses. 
700 1 |a Müller, G. H.  |q (Gert Heinz),  |d 1923- 
700 1 |a Takeuti, Gaisi,  |d 1926-2017. 
700 1 |a Tugué, T.  |q (Tosiyuki),  |d 1926- 
711 2 |a Logic Symposia  |d (1980 :  |c Hakone-machi, Japan) 
830 0 |a Lecture notes in mathematics (Springer-Verlag) ;  |v 891. 
999 |a MARS 
999 f f |s 4b7ce338-bb8f-356f-9935-1dea217c0f79  |i 5f20c53c-7c10-3b16-b952-5186705757f2  |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. 891  |h Library of Congress classification  |i unmediated -- volume  |m A14806200493 
998 f f |a QA3 .L28 no. 891  |t 0  |l Remote Storage