La prova di Gödel / (Record no. 2998)

000 -LEADER
fixed length control field 01656nam a22003377a 4500
003 - CONTROL NUMBER IDENTIFIER
control field IT-CtSSC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20141012070719.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 141012s2013 it b 001 0 ita
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number IT\ICCU\CFI\0825775
Source ItRI
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788833924847
040 ## - CATALOGING SOURCE
Original cataloging agency IT-CtSSC
Transcribing agency IT-CtSSC
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title ita
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 510.1
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Nagel, Ernest,
Relator code aut
Dates associated with a name 1901-1985
240 10 - UNIFORM TITLE
Uniform title Gödel's proof.
245 13 - TITLE STATEMENT
Title La prova di Gödel /
Statement of responsibility, etc. Ernest Nagel e James R. Newman ; presentazione di Edoardo Ballo ; traduzione di Luigi Bianchi.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Torino :
Name of publisher, distributor, etc. Bollati Boringhieri,
Date of publication, distribution, etc. 2013.
300 ## - PHYSICAL DESCRIPTION
Extent 136 p. ;
Dimensions 19 cm.
490 1# - SERIES STATEMENT
Series statement I grandi pensatori ;
Volume/sequential designation 71
500 ## - GENERAL NOTE
General note Riproduzione dell'edizione del 1982.
500 ## - GENERAL NOTE
General note Nel 1931 un giovane viennese, Kurt Gödel, diede alle stampe una breve memoria sulle "proposizioni formalmente indecidibili dei Principia mathematica e sistemi affini". Increduli, logici e matematici assistettero al crollo del luminoso edificio hilbertiano, tutto basato sull'onnipotenza del metodo assiomatico. In quelle pagine, infatti, si dimostrava l'incompletezza di un'ampia classe di teorie formali, tra cui l'aritmetica, nonché l'impossibilità di provare all'interno delle teorie stesse la loro coerenza. L'opera di Nagel e Newman è stata concepita per condurre il lettore al cuore dell'argomentazione di Gödel.
600 1# - SUBJECT ADDED ENTRY--PERSONAL NAME
Personal name Gödel, Kurt.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic (Mathematics).
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Newman, James R.
Relator code aut
Dates associated with a name 1907-1966
Fuller form of name (James Roy)
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ballo, Edoardo.
Relator code aui
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Bianchi, Luigi.
Relator code trl
830 #2 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title I grandi pensatori ;
Volume number/sequential designation 71
912 ## - Local use
Cataloger initials G. G. N. Angilella
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Monografia
Holdings
Price effective from Date last seen Permanent Location Not for loan Date acquired Source of classification or shelving scheme Koha item type Lost status Withdrawn status Total Renewals Date checked out Total Checkouts Damaged status Barcode Current Location Full call number
2014-10-122018-11-30Biblioteca Allievi 2014-10-12 Monografia  52018-07-263 AA002981Biblioteca Allievi511.3 N1476