AUTHORS (1-3 of 3)
Logic Colloquium (1983 : Aachen, Germany)
1
book jacket

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II
Logic Colloquium (1983 : Aachen, Germany)
Berlin ; New York : Springer-Verlag, 1984
 
1984
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA9.59 L63 1983    AVAILABLE    30340200178626
2
book jacket

Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
Logic Colloquium (1983 : Aachen, Germany)
Berlin ; New York : Springer-Verlag, 1984-
 
1984-
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA9.7 L63 1983    AVAILABLE    30340200178618
3
book jacket

Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
Logic Colloquium (1983 : Aachen, Germany)
Berlin ; New York : Springer-Verlag, 1984
1984
電子書

Location: Mathematics Library