Date: 2015-01-24 16:05:41

Predicate logic

Model theory

Quantification

First-order logic

Interpretation

Independence-friendly logic

Discourse representation theory

Skolem normal form

Well-formed formula

Logic

Mathematical logic

Semantics

Scope and the Grammar of Choice Adrian Brasoveanu, Donka F. Farkas UC Santa Cruz 1

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

File Size: 279,13 KB