Your search returned 5 results.

1.
No cover image available
Hilbert's programme / G. Kreisel

by Kreisel, G.

Source: Dialectica vol. 12, 1958, págs. 346-372Material type: Article Article; Format: print Language: English Availability: Items available for loan: (1).
2.
No cover image available
Two Notes on the Foundations of Set-Theory / G. Kreisel

by Kreisel, G.

Source: Dialectica vol. 23, nº. 2, 1969, págs. 92-114Material type: Article Article; Format: print Language: English Availability: Items available for loan: (1).
3.
No cover image available
Frege's Foundations and Intuitionistic Logic / G. Kreisel

by Kreisel, G.

Source: Monist, the vol. 67, nº. 1, 1984, págs. 72-91Material type: Article Article; Format: print Language: English Availability: Items available for loan: (1).
4.
No cover image available
Foundations of Intuitionistic Logic / G. Kreisel

by Kreisel, G.

Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 198-210Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/A6 (1).
5.
No cover image available
Constructivist Approaches to Logic / G. Kreisel

by Kreisel, G.

Source: Modern Logic - A Survey : Historical, Philosophical, and Mathematical Aspects of Modern Logic and ist Applications / Evandro Agazzi , págs. 67-92Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 69/C2 (1).

Bibliotecas Dominicos Provincia Hispania, 2016

Con tecnología Koha