Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
No cover image available
A transfinite type theory with type variables / by P. B. Andrews by Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., 1965
Availability: Items available for loan: National Library of India (1)Call number: E164 An27.

Place hold Request article Save to lists
2.
History and philosophy of constructive type theory / by Giovanni Sommaruga by Series: Synthese library ; v. 290
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Dordrecht : Kluwer Academic, c2000
Availability: Items available for loan: National Library of India (1)Call number: E/O 511.3 So 55.

Place hold Request article Save to lists
3.
The theory of logical types / Irving M. Copi by Series: Monographs in modern logical series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: London : Routledge, c1971
Availability: Items available for loan: National Library of India (1)Call number: E160 C791t.

Place hold Request article Save to lists
4.
Materialism and sensations / James W. Cornman by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Haven : Yale University Press, c1971
Availability: Items available for loan: National Library of India (1)Call number: E121 C816m.

Place hold Request article Save to lists
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India