Akten

Foundations of intuitionistic logic

to connected objects

Enthält: 2 Sonderdrucke des Artikels "Foundations of intuitionistic logic" aus Logic, Methodology and Philosophy of Science. Proceedings of the 1960 International Congress, hg. v. E. Nagel, P. Suppes und A. Tarski, Standford, Calf. 1962

Reference number
PAKN, GK Georg Kreisel, GK 8-1-55
Extent
2 Sonderdrucke

Context
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
Holding
PAKN, GK Georg Kreisel

Date of creation
1962

Other object pages
Show object in "Archivportal-D"
Last update
10.06.2025, 11:28 AM CEST

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

  • 1962

Other Objects (12)

Foundations of logic programming

Foundations of logic programming

Foundations of logic programming

Foundations of logic programming

Foundations of equational logic programming

Foundations of equational logic programming

Foundations of inductive logic programming

Foundations of inductive logic programming

Foundations of logic and mathematics

Foundations of logic and mathematics

The foundations of Frege's logic

The foundations of Frege's logic

Foundations of logic and mathematics

Foundations of logic and mathematics

Foundations of logic and mathematics

Foundations of logic and mathematics

Greek foundations of traditional logic

Greek foundations of traditional logic

Frege's foundations and intuitionistic logic

Akten

Frege's foundations and intuitionistic logic

Logic and foundations of mathematics in Frege's philosophy

Aufsatzsammlung

Logic and foundations of mathematics in Frege's philosophy

Mathematical logic : foundations for information science

Mathematical logic : foundations for information science

Related objects