Normal view MARC view ISBD view

Proof theory.

By:

Takeuti, Gaisi

Language: Eng Series: Studies in logic and the foundations of mathematics. 81 Publication details: Amsterdam: North-Holland , 1975Description: vii, 372pSubject(s):

DDC classification:

164/ T139p

Average rating: 0.0 (0 votes)

Holdings ( 2 )

Holdings
Item type	Current library	Call number	Status	Barcode
General Collections	Tribhuvan University Central Library	164/ T139p (Browse shelf(Opens below))	Available	G18742
General Collections	Tribhuvan University Central Library	164/ T139p (Browse shelf(Opens below))	Available	18742

Browsing Tribhuvan University Central Library shelves Close shelf browser (Hides shelf browser)

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	164 F552s Symbolic logic, an introduction	164/ L627m Mathematical logic; an introduction to model theory.	164 R563l Logic; form and function the mechanization of deductive reasoning.	164/ T139p Proof theory.	164/ T139p Proof theory.	164 B644i An investigation of the laws of thought	164 Q44w Word and object	Next

Place hold
Print
Cite
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)

Tribhuvan University Central Library © 2024.