Normal view MARC view ISBD view

A survey of mathematical logic Hao Wang

By: Wang, HaoContributor(s): Beth, E W [[series editor]] | Heyting, A [[series editor]]Material type: Text

TextLanguage: English Series: Studies in logic and the foundations in mathematicsPublication details: Amsterdam : North Holland Publishing Company, 1963Description: x, 651 p. ; 25 cmSubject(s): Axiomatic method | Mathematical logic | Number theory | Number theoryDDC classification: 511.1 WAN

Contents:

Contents: Pt. 1 General sketches - Pt. 2 Calculuating machines - Pt. 3 Formal number theory - Pt. 4 Impredicative set theory - Pt. 5 Predicative set theory

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Mysore University Main Library	511.1 WAN (Browse shelf (Opens below))	Available		002222

Browsing Mysore University Main Library shelves, Shelving location: Mathematics Close shelf browser (Hides shelf browser)

Previous		No cover image available	No cover image available	No cover image available	No cover image available			Next
Previous	511.1 ROS Discrete mathematics & its applications :	511.1 SOM The method of mathematical induction	511.1 STI An introduction to numerical mathematics /	511.1 WAN A survey of mathematical logic	511.200 14 HUR The linguistic theory of numerals	511.2 FAR Groups and symmetry :	511.2 HIR.L Convex analysis and minimization algorithms I : fundamentals	Next

Contents: Pt. 1 General sketches - Pt. 2 Calculuating machines - Pt. 3 Formal number theory - Pt. 4 Impredicative set theory - Pt. 5 Predicative set theory

There are no comments on this title.

to post a comment.