Akten

Constructive logic and logic versus algebraization I

zu Verbundenen Objekten

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

Archivaliensignatur
PAKN, GK Georg Kreisel, GK 8-1-115
Umfang
2 Sonderdrucke

Kontext
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
Bestand
PAKN, GK Georg Kreisel

Indexbegriff Person

Laufzeit
1982

Weitere Objektseiten
Objekt im "Archivportal-D" anzeigen
Letzte Aktualisierung
11.12.2201, 11:43 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Sachakte

Entstanden

  • 1982

Ähnliche Objekte (12)

A machine-checked constructive metatheory of computation tree logic

Hochschulschrift

A machine-checked constructive metatheory of computation tree logic

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

Sachakte

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

Logic, Vol. 2.. Logic and computer science

Logic, Vol. 2.. Logic and computer science

Mathematical logic

Akten

Mathematical logic

Logic.

Kapitel

Logic.

Logic

Logic

LOGIC

Druck

LOGIC

Logic

Logic

Logic

Logic

Computational logic: logic programming and beyond, Pt. 2

Computational logic: logic programming and beyond, Pt. 2

Tableau methods for propositional logic and term logic

Tableau methods for propositional logic and term logic

Computational logic: logic programming and beyond, Pt. 1

Computational logic: logic programming and beyond, Pt. 1

Verbundene Objekte