Your search returned 3 results.

1.
No cover image available
On the primitive symbols of Quine's Mathematial Logic / Leon Henkin

by Henkin, Leon.

Source: Revue Philosophique de Louvain (Antes, Revue Néo-Scolostique vol. 51, 1953, págs. 591-593Material type: Article Article; Format: print Language: French Availability: Items available for loan: (1).
2.
No cover image available
Nominalistic Analysis of Mathematical Language / Leon Henkin

by Henkin, Leon.

Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 187-194Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/A6 (1).
3.
No cover image available
The Theory of Models. Proceedings of the 1963 International Symposium at Berkeley / J. W. Addison; Leon Henkin, Alfred Tarski,

by Addison, J. W | Henkin, Leon | Tarski, Alfred.

Series: Studies in Logic and Foundations of Mathematics ; Edition: 4ª ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam/Oxford : North Holland , 1978Availability: Items available for loan: Call number: 24/A2 (1).

Bibliotecas Dominicos Provincia Hispania, 2016

Con tecnología Koha