Your search returned 5 results.

1.
No cover image available
Reduction of axiom systems with axiom schemes to systems with only simple axioms / Thoralf Skolem

by Skolem, Thoralf.

Source: Dialectica vol. 12, 1958, págs. 443-450Material type: Article Article; Format: print Language: English Availability: Items available for loan: (1).
2.
No cover image available
Logico-combinatorial investigations in the satisfiability or provability of mathematical propositions: A simplified proof of a theorem by L. Löwenheim and generalizations of the theorem / Thoralf Skolem

by Skolem, Thoralf.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 252-264Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
3.
No cover image available
Some remarks on axiomatized set theory / Thoralf Skolem

by Skolem, Thoralf.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 290-302Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
4.
No cover image available
The Foundations of elementary arithmetic established by means of the recursive mode of thought, without the use of apparent variables ranging over infinite domains / Thoralf Skolem

by Skolem, Thoralf.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 302-334Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
5.
No cover image available
On mathematical logic / Thoralf Skolem

by Skolem, Thoralf.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 508-525Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).

Bibliotecas Dominicos Provincia Hispania, 2016

Con tecnología Koha