Proof theory and logical complexity

Saved in:

Bibliographic Details
Main Author:	Girard, Jean-Yves
Format:	Book
Language:	English
Published:	Napoli Bibliopolis 1987-
Series:	Studies in proof theory 1
Subjects:	Proof theory
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000n a2200000 a 4501
001	wils-88114031
002	000067416
008	940703m19879999it b 00110 eng
020	#	#	\|a 8870881237
090	#	#	\|a QA9.54 \|b .G57 1987
100	#	#	\|a Girard, Jean-Yves
245	#	#	\|a Proof theory and logical complexity \|c Jean-Yves Girard
260	#	#	\|a Napoli \|b Bibliopolis \|c 1987-
300	#	#	\|a v. <1 > \|c 25 cm
490	#	#	\|a Studies in proof theory \|v 1
504	#	#	\|a Includes bibliographical references v. 1. (p. 497-500) and index
650	#	#	\|a Proof theory
745	#	#	\|a Logical complexity
856	4	0	\|z Click Here to View Status and Holdings. \|u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=88114031
964	#	#	\|c BOK \|d 01
040	#	#	\|a Shah Alam