Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Intensional and higher-order modal logic: with applications to Montague semantics/ Daniel Gallin.
Series: North-Holland mathematics studies ; 19Publication details: Amsterdam ; Oxford: North-Holland, 1975.Description: ix, 148 p. ; 24 cmISBN:- 072040360X (pbk) :
- 044411002X
- 511.352 G169i
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.352 G169i 1975 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000097421 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) 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 No cover image available | ||
| 511.352 F771 2006 IMPA Foundations of computational mathematics, Santander 2005/ | 511.352 F889l 1958 IMPA Logique mathemátique appliquée. | 511.352 F979 2015 IMPA Functions and generality of logic: reflections on Dedekind's and Frege's logicisms/ | 511.352 G169i 1975 IMPA Intensional and higher-order modal logic: with applications to Montague semantics/ | 511.352 G517p 1987 IMPA Proof theory and logical complexity.. T.1/ | 511.352 G655r 1957 IMPA Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus. | 511.352 G895f 1961 IMPA Fonctions récursives/ |
Bibliography: p. 144-148.
There are no comments on this title.