cover image

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, and T. Tugué.

; Müller, G. H. (Gert Heinz), 1923- ; Takeuti, Gaisi, 1926- ; Tugué, T. (Tosiyuki), 1926- ; Logic Symposia (1980 : Hakone-machi, Japan)
Berlin ; New York : Springer-Verlag, 1981.
ISBN 9783540111610, 3540111611, 9780387111612, 0387111611

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA 3 .L28 no.891 (show me on map) Off-site
Request
American
LIB stacks
No.889-891bound together
LIB stacks
QA3 .L28 no.889-891 Available Request
George Mason
Fenwick stacks
QA3 .L28 no.891 Available Request
Georgetown
Lauinger stacks
QA3 .L28 no. 891 Available Request
Howard
Founders Library stacks
QA3 L28 NO. 891 Available Request
Other Authors Müller, G. H. 1923-
Takeuti, Gaisi, 1926-
Tugué, T. 1926-
Logic Symposia (1980 : Hakone-machi, Japan)
Subjects Grundlage.
Kongress.
Logic, Symbolic and mathematical -- Congresses.
Logic, Symbolic and mathematical.
Logica matematica.
Logik.
Logique symbolique et mathématique -- Congrès.
Mathematik.
Mathematische Logik.
Series Lecture notes in mathematics (Springer-Verlag) ; 891.
Description xi, 394 pages ; 25 cm.
Copyright Date 1981.
Notes Includes bibliographical references.
Genre Kongress.
Kongress
Kongress
Kongress
Conference proceedings.
Hakone (1979)
Hakone (1979-1980)
Hakone (1980)
Network Numbers (OCoLC)7944723
(OCoLC)ocm07944723
WorldCat Search OCLC WorldCat

Services

Export citation to: RefWorks