The Resource Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings, Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings, Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds

Label
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
Title
Computational logic and proof theory
Title remainder
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
Statement of responsibility
Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds
Creator
Contributor
Subject
Genre
Language
eng
Summary
"The Third Kurt G
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
no index present
LC call number
QA76.9.A96
LC item number
K87 1993
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1993
http://bibfra.me/vocab/lite/meetingName
Kurt Gödel Colloquium
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1952-
  • 1946-
http://library.link/vocab/relatedWorkOrContributorName
  • Kurt Gödel Society
  • Gottlob, G.
  • Leitsch, Alexander
  • Mundici, Daniele
http://library.link/vocab/subjectName
  • Automatic theorem proving
  • Logic, Symbolic and mathematical
  • philosophie
  • théorie Goedel
  • mathématique
  • logique mathématique
  • démonstration théorème
  • logique informatique
  • théorie démonstration
  • Théorèmes
  • Logique symbolique et mathématique
  • Automatic theorem proving
  • Logic, Symbolic and mathematical
  • Logica
  • Kunstmatige intelligentie
  • Logique mathématique
  • Théorèmes
  • Théorie de la démonstration
Label
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings, Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds
Instantiates
Publication
Note
Sponsored by Kurt Gödel Society
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
xi, 348 pages
Isbn
9783540571841
Lccn
93005923
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)28587323
  • (OCoLC)ocm28587323
Label
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings, Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds
Publication
Note
Sponsored by Kurt Gödel Society
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
xi, 348 pages
Isbn
9783540571841
Lccn
93005923
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)28587323
  • (OCoLC)ocm28587323

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...