Wellcome

Your search returned 4 results.

Sort
Results
The Axiomatic method edited by Henkin, Leo

by Symposium on the axiomatic method with special reference to geometry and physics (1957: Dec 26-Jan 4: Berkely) | Beth, E W [series editor] | Brouwer, L E J [series editor] | Suppes, Patrick | Tarski, Alfred [editor].

Series: Studies in logic and the foundations in mathematicsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North Holland, 1959Availability: Items available for loan: Mysore University Main Library (1) Call number: 511.1 HEN.
Computer programming and formal systems edited by P. Braffort, D. Hirschberg

by Braffort, P [editor ] | Hirschberg, D [editor ] | Beth, E. W [series editor ] | Brouwer, L. E. J [series editor ].

Series: Studies in logic and the foundations of mathematicsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North-Holland Publishing Company, 1963Availability: Items available for loan: Mysore University Main Library (1) Call number: 519.3 BRA.
The axiomatic method

by Symposium on the axiomatic method with special reference to geometry and physics (1957: Dec 26-Jan 4: Berkely) | Beth, E W [series editor] | Brouwer, L E J [series editor] | Suppes, Patrick | Tarski, Alfred [editor].

Series: Studies in logic and the foundations in mathematicsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland 1959Availability: No items available.
The logical systems of Lesniewski Eugene C. Luschei

by Luschei, Eugene C | Brouwer, L. E. J [series editor ].

Series: Studies in logic and the foundations of mathematicsMaterial type: Text Text Language: English Publication details: Amsterdam : North-Holland Publishing Company, 1962Availability: Items available for loan: Mysore University Main Library (1) Call number: 511.1 LUS.
Pages

No. of hits (from 9th Mar 12) :

Powered by Koha