Sachakte

Constructive logic and logic versus algebraization I

Enthält: zwei Sonderdrucke des zusammen mit Angus J. Macintyre publizierten Artikels "Constructive logic and logic versus algebraization I" aus: The L.E.J. Brouwer Centenary Symposium, hg. v. D. van Dalen u. A. Troelstra, Amsterdam 1982

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

Extent: 2 Sonderdrucke

Context: Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften

Holding: PAKN, GK Georg Kreisel

Indexentry person: Macintyre, Angus J.

Date of creation: 1982

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

1982

Other Objects (12)

Sachakte

Diana Schmidt - Topics in Mathematica Logic, characterisations of small constructive ordinals, constructive finite number classes;

Hochschulschrift

A machine-checked constructive metatheory of computation tree logic

Sachakte

Mathematical logic

Logic, Vol. 2.. Logic and computer science

Druck

LOGIC

Logic

Kapitel

Logic.

Logic

Computational logic: logic programming and beyond, Pt. 1

Computational logic: logic programming and beyond, Pt. 2

Tableau methods for propositional logic and term logic

Sachakte

Diana Schmidt - Topics in Mathematica Logic, characterisations of small constructive ordinals, constructive finite number classes;

Hochschulschrift

A machine-checked constructive metatheory of computation tree logic

Sachakte

Mathematical logic

Logic, Vol. 2.. Logic and computer science

Druck

LOGIC

Logic

Kapitel

Logic.

Logic

Computational logic: logic programming and beyond, Pt. 1

Computational logic: logic programming and beyond, Pt. 2

Tableau methods for propositional logic and term logic

Sachakte

Diana Schmidt - Topics in Mathematica Logic, characterisations of small constructive ordinals, constructive finite number classes;

Hochschulschrift

A machine-checked constructive metatheory of computation tree logic

Sachakte

Mathematical logic

Logic, Vol. 2.. Logic and computer science

Druck

LOGIC

Logic

Kapitel

Logic.

Logic

Computational logic: logic programming and beyond, Pt. 1

Computational logic: logic programming and beyond, Pt. 2

Tableau methods for propositional logic and term logic

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.

Constructive logic and logic versus algebraization I

Object Details

References and Relationships

Classification and Topics

Contributors, Places and Time

Further information

Data provider

Object type

Time of origin

Other Objects (12)

Diana Schmidt - Topics in Mathematica Logic, characterisations of small constructive ordinals, constructive finite number classes;

A machine-checked constructive metatheory of computation tree logic

Mathematical logic

Logic, Vol. 2.. Logic and computer science

LOGIC

Logic

Logic.

Logic

Logic

Computational logic: logic programming and beyond, Pt. 1

Computational logic: logic programming and beyond, Pt. 2

Tableau methods for propositional logic and term logic

Diana Schmidt - Topics in Mathematica Logic, characterisations of small constructive ordinals, constructive finite number classes;

A machine-checked constructive metatheory of computation tree logic

Mathematical logic

Logic, Vol. 2.. Logic and computer science

LOGIC

Logic

Logic.

Logic

Logic

Computational logic: logic programming and beyond, Pt. 1

Computational logic: logic programming and beyond, Pt. 2

Tableau methods for propositional logic and term logic

Diana Schmidt - Topics in Mathematica Logic, characterisations of small constructive ordinals, constructive finite number classes;

A machine-checked constructive metatheory of computation tree logic

Mathematical logic

Logic, Vol. 2.. Logic and computer science

LOGIC

Logic

Logic.

Logic

Logic

Computational logic: logic programming and beyond, Pt. 1

Computational logic: logic programming and beyond, Pt. 2

Tableau methods for propositional logic and term logic

Related objects

Reset password