Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / H. Jerome Keisler
| rdfs:label | "Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / H. Jerome Keisler" |
| schema:name | "Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers" |
| schema:author | Keisler, Howard Jerome |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1971" |
| schema:about | Traditionele (syllogistische) logica |
|
<http:/ |
|
|
schema:in |
"en" |
|
schema:is |
Studies in logic and the foundations of mathematics / ed. J. Barwise ... [et al.] |
| schema:isbn | "0720422582" |
|
schema:number |
208 |
| schema:publication |
<https:/ |