Sachakte

Exercise(s) concerning Hilbert's idea (=Ansatz) for his ε-substitution method applied to predicate logic

to connected objects

Enthält: Kopie eines handschriftlichen Manuskriptes

Reference number: Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-80

Extent: 2 Bl.

Context: Georg Kreisel >> Salzburg-Teil >> Manuskripte >> Artikel und Memoranda

Holding: PAKN, GK Georg Kreisel

Date of creation: 1994

Other object pages: Show object in "Archivportal-D"

Last update: 01.03.2023, 7:50 AM CET

Data provider

This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.

Show original at data provider

Object type

Sachakte

Time of origin

1994

Other Objects (12)

Practical Exercises Concerning Specific Gravity

Kapitel

Practical Exercises Concerning Specific Gravity

Comments on Hilbert's substitution method

Sachakte

Comments on Hilbert's substitution method

Text

Exercises

Kapitel

EXERCISES

Abschnitt

Exercises.

Herbrand's rules and Hilbert's ε-substitution method(s): some non-mathematical aspects

Sachakte

Herbrand's rules and Hilbert's ε-substitution method(s): some non-mathematical aspects

Aeroradiometric measurements in the framework of the Swiss exercises ARM15, GNU15 and the international exercise AGC15

Aeroradiometric measurements in the framework of the Swiss exercises ARM15, GNU15 and the international exercise AGC15

Werk

Exercise

Practical Exercises Concerning Forces; With The Relation Between Them And The Time, Velocity, and Space Described

Kapitel

Practical Exercises Concerning Forces; With The Relation Between Them And The Time, Velocity, and Space Described

Writing exercises

Kapitel

Writing exercises

Sentimental exercises

Noten (Musik)

Sentimental exercises

Abschnitt

27 Exercises

Practical Exercises Concerning Specific Gravity

Kapitel

Practical Exercises Concerning Specific Gravity

Comments on Hilbert's substitution method

Sachakte

Comments on Hilbert's substitution method

Text

Exercises

Kapitel

EXERCISES

Abschnitt

Exercises.

Herbrand's rules and Hilbert's ε-substitution method(s): some non-mathematical aspects

Sachakte

Herbrand's rules and Hilbert's ε-substitution method(s): some non-mathematical aspects

Aeroradiometric measurements in the framework of the Swiss exercises ARM15, GNU15 and the international exercise AGC15

Aeroradiometric measurements in the framework of the Swiss exercises ARM15, GNU15 and the international exercise AGC15

Werk

Exercise

Practical Exercises Concerning Forces; With The Relation Between Them And The Time, Velocity, and Space Described

Kapitel

Practical Exercises Concerning Forces; With The Relation Between Them And The Time, Velocity, and Space Described

Writing exercises

Kapitel

Writing exercises

Sentimental exercises

Noten (Musik)

Sentimental exercises

Abschnitt

27 Exercises

Practical Exercises Concerning Specific Gravity

Kapitel

Practical Exercises Concerning Specific Gravity

Comments on Hilbert's substitution method

Sachakte

Comments on Hilbert's substitution method

Text

Exercises

Kapitel

EXERCISES

Abschnitt

Exercises.

Herbrand's rules and Hilbert's ε-substitution method(s): some non-mathematical aspects

Sachakte

Herbrand's rules and Hilbert's ε-substitution method(s): some non-mathematical aspects

Aeroradiometric measurements in the framework of the Swiss exercises ARM15, GNU15 and the international exercise AGC15

Aeroradiometric measurements in the framework of the Swiss exercises ARM15, GNU15 and the international exercise AGC15

Werk

Exercise

Practical Exercises Concerning Forces; With The Relation Between Them And The Time, Velocity, and Space Described

Kapitel

Practical Exercises Concerning Forces; With The Relation Between Them And The Time, Velocity, and Space Described

Writing exercises

Kapitel

Writing exercises

Sentimental exercises

Noten (Musik)

Sentimental exercises

Abschnitt

27 Exercises

Cultural heritage institutions wishing to register will find more information here.

Fields marked * need to be filled in.

Username*

Please enter your username

Email*

Please enter your email address

Please do not fill this field

First name

Last name

Password*

Please enter your password

Confirm password*

Please enter the same password

I have read the terms of use and the privacy policy for the collection of personal data and accept them. *

This field is required.

I would like to subscribe to the newsletter of the Deutsche Digitale Bibliothek. See newsletter subscription info.

Account created

Your "My DDB" account has been successfully created. Before you can log in to your account, you must click the confirmation link in the message we just sent to the email address you provided.