Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3151204 obálek a 950590 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Proof Theory and Logical Complexity.Vol. I
Autor: Girard Jean-Yves
Rok: 1987
ISBN: 9780444987150
OKCZID: 110111118
Citace (dle ČSN ISO 690):
GIRARD, Jean-Yves. Proof Theory and Logical Complexity. Napoli: Bibliopolis, 1987. 503 s. Studies in Proof Theory;, 1.
Anotace
Hardbound. This volume is the first in a series which will, in the future, be published jointly by Bibliopolis, Edizioni di Filosofia e Scienze spa, Napoli, and under the North-Holland imprint by Elsevier Science Publishers, Amsterdam.This is the first of a two-part work covering the main ideas and techniques of proof theory. This volume is introductory, starting with Hilbert (whose second problem in the famous list of problems of 1900 was the consistency of number theory), describing Hilbert's program and its demise at the hands of Gödel. It then proceeds with Gentzen's result (the Hauptsatz is the main result of Part I) and improvements and generalizations to &ohgr;-logic.Volume II will cover more advanced logics.