This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines.
0 | 0
: 9780387942582
: Engels
: Hardcover
: 308
: november 1996
: 596
: 241 x 166 x 21 mm.
: Undergraduate Texts in Mathematics
: Grondslagen van de wiskunde; Onderwijs over een specifiek onderwerp; Wiskunde; Wiskundige logica