The theory of models : proceedings / Edited by J.W. Addison, Léon Henkin and Alfred Tarski.
Material type:
TextLanguage: English Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam, North-Holland Pub. Co., 1965.Description: xv, 494 p. : ill. ; 23 cmSubject(s): DDC classification: - 23 511.3 INT 1965
Books
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Books
|
Central Library, University of Rajshahi Reading Room | Non-fiction | 511.3 INT 1965 (Browse shelf(Opens below)) | C-1 | Not For Loan | INR | A5502 |
Browsing Central Library, University of Rajshahi shelves,Shelving location: Reading Room,Collection: Non-fiction Close shelf browser (Hides shelf browser)
|
No cover image available | No cover image available | No cover image available |
|
No cover image available | No cover image available | ||
| 511.3 GAL 1986 Logic for computer science : foundations of automatic theorem proving / | 511.3 GOM 1961 Development of mathematical logic / | 511.3 HAL 1978 Logic for mathematicians / | 511.3 INT 1965 The theory of models : proceedings / | 511.3 KUF 1992 Foundations of abstract mathematics / | 511.3 LAI 1953 An introduction to symbolic logic / | 511.3 LES 1959 Symbolic logic / |
Held at the University of California, Berkeley; sponsored by the Association for Symbolic Logic in cooperation with the Division of Logic, Methodology, and Philosophy of Sciences of the International Union of the History and Philosophy of Science.
Bibliography: p. 442-492.
There are no comments on this title.
Log in to your account to post a comment.