عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 Vol.1103,1104
QA
3
.
L28
Vol
.
1103
,
1104
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
First Statement of Responsibility
edited by G. H. Muller and M. M. Richter
EDITION STATEMENT
Statement of Responsibility Relating to Edition
1983: Aachen, Germany
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1984
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
2v
Other Physical Details
1
Other Physical Details
2
SERIES
Other Title Information
Lecture notes in mathematics; 3011,4011
GENERAL NOTES
Text of Note
V.2. edited by M. M. Richter ... ]et al.[
Text of Note
Includes bibliographies
Text of Note
ISBN: 3540139001 )V.1(
ORIGINAL VERSION NOTE
Text of Note
1
Text of Note
1
CONTENTS NOTE
Text of Note
V.1. Models and sets .-- V.2. Computation and proof theory
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Logic, Symbolic and mathematical
Entry Element
Congresses ، Model theory
Entry Element
Congresses ، Set theory
Entry Element
Congresses ، Machine theory
Entry Element
Congresses ، Proof theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
3
.
L28
Vol
.
1103
,
1104
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Muller, Gert Heinz, 1923-
AU Richter, Michael M., 1938-
TI
SE
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
Logic colloquium
