|
" The theory of models "
edited by J.W. Addison, Leon Henkin, Alfred Tarski.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
572362
|
| Doc. No
|
:
|
b401581
|
| Main Entry
|
:
|
International Symposium on the Theory of Models(1963 :, Berkeley, California)
|
| Title & Author
|
:
|
The theory of models : proceedings of the 1963 international symposium at Berkeley /\ edited by J.W. Addison, Leon Henkin, Alfred Tarski.
|
| Publication Statement
|
:
|
Amsterdam, Netherlands :: North-Holland Publishing Company,, 1978.
|
| Series Statement
|
:
|
Studies in Logic and the Foundations of Mathematics
|
| ISBN
|
:
|
9780720422337
|
|
|
:
|
: 9781483275345
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
| Subject
|
:
|
Logic, Symbolic and mathematical, Congresses.
|
| Subject
|
:
|
Mathematical models, Congresses.
|
| Added Entry
|
:
|
Addison, J. W., (John West),1930-
|
|
|
:
|
Henkin, Leon.
|
|
|
:
|
Tarski, Alfred,1901-1983.
|
| Added Entry
|
:
|
University of California, Berkeley.
|
|
|
:
|
Association for Symbolic Logic.
|
|
|
:
|
International Union of the History and Philosophy of Science., Division of Logic, Methodology and Philosophy of Science.
|
|
|
:
|
ScienceDirect (Online service).
|
| |