Author: Leonhard Tafel
Publisher:
ISBN:
Category :
Languages : en
Pages : 622
Book Description
Lehrbuch der englischen Sprache nach Hamiltonischen Grundsätzen
Author: Leonhard Tafel
Publisher:
ISBN:
Category :
Languages : en
Pages : 622
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 622
Book Description
The National Union Catalog, Pre-1956 Imprints
Author:
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 712
Book Description
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 712
Book Description
Mathematical Logic
Author: H.-D. Ebbinghaus
Publisher: Springer Science & Business Media
ISBN: 1475723555
Category : Mathematics
Languages : en
Pages : 290
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 1475723555
Category : Mathematics
Languages : en
Pages : 290
Book Description
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.
The Mathematical Theory of the Top
Author: Felix Klein
Publisher:
ISBN:
Category : Dynamics, Rigid
Languages : en
Pages : 94
Book Description
Publisher:
ISBN:
Category : Dynamics, Rigid
Languages : en
Pages : 94
Book Description