Wellcome

Your search returned 8 results.

Sort
Results
A survey of mathematical logic Hao Wang

by Wang, Hao | Beth, E W [[series editor]] | Heyting, A [[series 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 Publishing Company, 1963Availability: Items available for loan: Mysore University Main Library (1) Call number: 511.1 WAN.
The foundations of mathematics

by Beth, Evert W | Beth, E W [series editor] | Heyting, A [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 1959Availability: Items available for loan: Mysore University Main Library (1) Call number: 511.1.
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.
A survey of mathematical logic

by Wang, Hao | Beth, E W [series editor] | Heyting, A [series 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 Publishing Company 1963Availability: No items available.
Abstract set theory : second, completely revised edition Abraham A. Fraenkel

by Fraenkel, Abraham A | Beth, E. W [series editor] | Heyting, A [series 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 Publishing Company, 1961Availability: Items available for loan: Mysore University Main Library (1) Call number: 511.1 FRA.
The foundations of mathematics

by Beth, Evert W | Beth, E W [series editor] | Heyting, A [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 1959Availability: No items available.
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.
Pages

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

Powered by Koha