Coverart for item
The Resource ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974, edited by J. Diller and G.H. Müller

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974, edited by J. Diller and G.H. Müller

Label
ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Title
ISILC Proof Theory Symposion
Title remainder
dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Statement of responsibility
edited by J. Diller and G.H. Müller
Creator
Contributor
Subject
Genre
Language
  • eng
  • ger
  • eng
Member of
Cataloging source
SPLNM
Dewey number
510.8
Index
no index present
LC call number
  • QA3
  • QA9.54
LC item number
.L28 no. 500
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1974
http://bibfra.me/vocab/lite/meetingName
ISILC Proof Theory Symposion
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1923-
  • 1974
http://library.link/vocab/relatedWorkOrContributorName
  • Schütte, K.
  • Diller, Justus
  • Müller, G. H.
  • International Summer Institute and Logic Colloquium
Series statement
Lecture notes in mathematics,
Series volume
500
http://library.link/vocab/subjectName
  • Schütte, K.
  • Proof theory
  • Schütte, Kurt
  • Schütte, K.
  • Schütte, Kurt
  • Preuve, Théorie de la
  • Proof theory
  • Beweistheorie
  • Bibliografie
  • Kongress
  • Logik
  • Mathematische Logik
Label
ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974, edited by J. Diller and G.H. Müller
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Includes list of the publications of K. Schütte
Control code
294937760
Dimensions
unknown
Extent
1 online resource (viii, 383 pages).
Form of item
online
Isbn
9783540380207
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)294937760
Label
ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974, edited by J. Diller and G.H. Müller
Publication
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Includes list of the publications of K. Schütte
Control code
294937760
Dimensions
unknown
Extent
1 online resource (viii, 383 pages).
Form of item
online
Isbn
9783540380207
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)294937760

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...