Lehrbuch der englischen Sprache nach Hamiltonischen Grundsätzen
Author : Leonhard Tafel
Publisher :
Page : 622 pages
File Size : 33,82 MB
Release : 1835
Category :
ISBN :
Author : Leonhard Tafel
Publisher :
Page : 622 pages
File Size : 33,82 MB
Release : 1835
Category :
ISBN :
Author :
Publisher :
Page : 712 pages
File Size : 25,45 MB
Release : 1968
Category : Union catalogs
ISBN :
Author : H.-D. Ebbinghaus
Publisher : Springer Science & Business Media
Page : 290 pages
File Size : 33,32 MB
Release : 2013-03-14
Category : Mathematics
ISBN : 1475723555
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. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.
Author : Felix Klein
Publisher :
Page : 94 pages
File Size : 16,78 MB
Release : 1897
Category : Dynamics, Rigid
ISBN :