Take a photo of a barcode or cover
246 pages • missing pub info (view editions)
ISBN/UID: 9780792300403
Format: Hardcover
Language: English
Publisher: Springer
Edition Pub Date: 28 February 1989
Description
somewhat like Henkin's nonstandard interpretation of higher-order logics, while the right semantics or logical modalities is an analogue to the standard of type theory in Henkin's sense. interpretation Another possibility would be to follow W.V. ...
Community Reviews
Content Warnings
246 pages • missing pub info (view editions)
ISBN/UID: 9780792300403
Format: Hardcover
Language: English
Publisher: Springer
Edition Pub Date: 28 February 1989
Description
somewhat like Henkin's nonstandard interpretation of higher-order logics, while the right semantics or logical modalities is an analogue to the standard of type theory in Henkin's sense. interpretation Another possibility would be to follow W.V. ...
Community Reviews
Content Warnings