Metamathematics, machines, and Godel's proof / (Αριθ. εγγραφής 115236)

Στοιχεία MARC
000 -LEADER
fixed length control field 01302cam a22003017i 4500
001 - CONTROL NUMBER
control field 10022458
003 - CONTROL NUMBER IDENTIFIER
control field GR-PaULI
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20210117205649.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 990123s1994 -uk f b 1 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521585333
040 ## - CATALOGING SOURCE
Original cataloging agency GR-PaULI
Language of cataloging gre
Transcribing agency GR-PaULI
Description conventions AACR2
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Shankar, N.
9 (RLIN) 147783
Relator term συγγραφέας
245 10 - TITLE STATEMENT
Title Metamathematics, machines, and Godel's proof /
Statement of responsibility, etc. N. Shankar.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Cambridge ;
-- New York :
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. 1997, c1994.
300 ## - PHYSICAL DESCRIPTION
Extent xv, 202 σ. ;
Dimensions 25 εκ.
490 1# - SERIES STATEMENT
Series statement Cambridge tracts in theoretical computer science
Volume/sequential designation v. 38
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Μαθηματικά
General subdivision Πληροφορική
9 (RLIN) 195
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Λογική, Συμβολική και μαθηματική
9 (RLIN) 472
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Θεώρημα του Godel
9 (RLIN) 135588
760 0# - MAIN SERIES ENTRY
Main entry heading Cambridge tracts in theoretical computer science
Related parts 38
830 ## - SERIES ADDED ENTRY--UNIFORM TITLE
9 (RLIN) 156266
Uniform title Cambridge tracts in theoretical computer science
Volume number/sequential designation v. 38
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Book [21]
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Cataloger's initials, CIN (RLIN) ΠΑΝΑΓΟΠΟΥΛΟΥ
First Date, FD (RLIN) 1999-06
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Cataloger's initials, CIN (RLIN) ΚΑΝΕΛΛΟΠΟΥΛΟΥ;
First Date, FD (RLIN) 2016-08
Αντίτυπα
Lost status Home library Current library Shelving location Inventory number Total Checkouts Full call number Barcode Koha item type
  ΒΚΠ - Πατρα ΒΚΠ - Πατρα Βασική Συλλογή 043787   511.3 S 025000056033 Book [21]
  Φιλοσοφίας Φιλοσοφίας   6943   511.3 SHA 025000171395 Book [21]
  Φιλοσοφίας Φιλοσοφίας   6942   511.3 SHA 025000171205 Book [21]
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud