Date: 2011-01-28 11:35:50

Model theory

Predicate logic

Semantics

Lambda calculus

Logic in computer science

First-order logic

Skolem normal form

Interpretation

Function

Logic

Mathematical logic

Mathematics

Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 110,76 KB