Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

A manual of intensional logic /

by Benthem, Johan F. A. van
Normal View ISBD View
Series: CSLI lecture notes ; . 1 Edition statement:2. ed. Published by : CSLI, (Stanford : ) Physical details: IX, 135 p. ; 24 cm. Subject(s): Logic Year : 1988
No tags for this title. Log in to add tags.
Item type Location Call Number Copy Status Date Due
Books Istituto di Ingegneria Biomedica BC71.B38 (Browse Shelf) 1 Available

Contents. I. Classical theories. II. Recent developments 1: computational applications. Recent developments 2: partiality. IV Recent developments 3: logical semantics.

There are no comments for this item.

Log in to your account to post a comment.
Important links here.