Your search returned 3 results.

1.
Empirical Meaningfulness and Intuitionistic Logic / John Myhill

by Myhill, John.

Source: Philosophy and Phenomenological Research vol. 33, 1972, págs. 186-191Material type: Article Article; Format: print Language: English Availability: Items available for loan: (1).
2.
Recursive Equivalence Types and Combinatorial Functions / John Myhill

by Myhill, John.

Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 46-56Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/A6 (1).
3.
An Alternative to the Method of Extension and Intension / John Myhill

by Myhill, John.

Source: The Philosophy of Rudolf Carnap / Paul Arthur Schilpp , págs. 299-311Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 32/B5 (1).

Bibliotecas Dominicos Provincia Hispania, 2016

Con tecnología Koha