Finite definability of number-theoretic functions and parametric empleteness of equational calculi

Show full title

Archive der Universität Konstanz

Data provider's object view

Level of description:

Record

Reference number:

PAKN, GK Georg Kreisel, GK 8-1-50

Holding:

PAKN, GK Georg Kreisel

Context:

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

Date of creation:

1961

Abstract:

Enthält: 2 Sonderdrucke des zusammen mit William Tait publizierten Artikels "Finite definability of number-theoretic functions and parametric empleteness of equational calculi" aus Zeitschrift für mathematische Logik und Grundlagen der Mathematik 7 (1961)

Tait, William W.; Philosoph, 1929 -

Extent:

2 Sonderdrucke

Document type:

Sachakte

Indexentry person:

Tait, William W.

Other object pages:

Object in the 'Deutsche Digitale Bibliothek'

Last update:

10.06.2025, 11:28 AM CEST

Finite definability of number-theoretic functions and parametric empleteness of equational calculi

Hierarchy

Hierarchy detail view