Scan barcode
246 pages • missing pub info (editions)
ISBN/UID: 9780792300403
Format: Hardcover
Language: English
Publisher: Springer
Publication 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 (editions)
ISBN/UID: 9780792300403
Format: Hardcover
Language: English
Publisher: Springer
Publication 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