|
|
 |
 |
 |
 |
 |
| Lindström, Per |
| First-Order Logic |
|
| |
|
Mjukband | 174 sidor | Tryckår: 2011
|
| ISBN: 9789172350830 |
|
Pris: 175 Kr.
Köp |
|
Lagerstatus: Finns i lager
|
| |
From the author's preface:
"This little book is not a first introduction to first-order logic. The reader I have in mind is completely at home with the most elementary aspects of first-order logic and, perhaps somewhat vaguely, aware of the basic concepts and results, and would like to see exact definitions and full proofs of these."
|
|
|
|
|
