๐”– Scriptorium
โœฆ   LIBER   โœฆ
๐Ÿ“

Mathematical Logic with Special Reference to the Natural Numbers

โœ Scribed by S. W. P. Steen

Year
1972
Tongue
English
Leaves
650
Category
Library
โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis

This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a symbolic language in which ideas about natural numbers can be stated precisely and meaningfully, and then investigates the properties and limitations of this language. The treatment of mathematical concepts in the main body of the text is rigorous, but, a section of 'historical remarks' traces the evolution of the ideas presented in each chapter. Sources of the original accounts of these developments are listed in the bibliography.

๐Ÿ“œ SIMILAR VOLUMES

Mathematical Logic with Special Referenc
๐Ÿ“ Mathematical Logic with Special Reference to the Natural Numbers
โœ S. W. P. Steen ๐Ÿ“‚ Library ๐Ÿ“… 1972 ๐Ÿ› Cambridge University Press ๐ŸŒ English

This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a s

Mathematical logic with special referenc
๐Ÿ“ Mathematical logic with special reference to the natural numbers
โœ S. W. P. Steen ๐Ÿ“‚ Library ๐Ÿ“… 1972 ๐Ÿ› Cambridge University Press ๐ŸŒ English

This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a s

Fortran Techniques with Special Referenc
๐Ÿ“ Fortran Techniques with Special Reference to Non-numerical Applications
โœ A. Colin Day ๐Ÿ“‚ Library ๐Ÿ“… 1972 ๐Ÿ› Cambridge University Press ๐ŸŒ English

This book is a practical description of many of the commonly used programming techniques required in both numerical and non-numerical applications of Fortran. It is written for non-specialist users who have already completed a course in basic Fortran programming, but who may have only a minimum know