Wellcome

Your search returned 15 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.
Introduction to the model theory and to the meta mathematicsof algebra Abraham Robinson

by Robinson, Abraham | Beth, E W [editor] | Heyting, A [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, 1963Availability: Items available for loan: Mysore University Main Library (1) Call number: 511.1 ROB.
Axiomatic set theory Paul Bernays

by Bernays, Paul | Beth, E W (sr. ed.) | Heyting, A (sr. ed.).

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 Co., 1958Availability: Items available for loan: Mysore University Main Library (1) Call number: 511.1 BER.
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 logical systems of lensiewski

by Luschei, Eugene C | Beth, E W (sr. ed) | Heyting, A V (sr. ed).

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam North - Holland Publishing Co. 1962Availability: Items available for loan: Mysore University Main Library (1) Call number: 511.1.
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.
Introduction to the model theory and to the meta mathematicsof algebra

by Robinson, Abraham | Beth, E W [editor] | Heyting, A [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 1963Availability: No items available.
Proceedings of the tenth international congress of philosophy / edited by E. W. Beth, H. J. Pos and J. H. A. Hollak

by Beth, E. W. and [editor] | Pos, H. J [editor] | Hollak, J. H. A [editor].

Material type: Text Text Language: English Publication details: Nendeln : Kraus Reprint, 1968Availability: Items available for loan: Mysore University Main Library (1) Call number: 106 ICP.
Proceedings of the tenth international congress of philosophy / edited by E. W. Beth, H. J. Pos and J. H. A. Hollak

by Beth, E. W. and [editor] | Pos, H. J [editor] | Hollak, J. H. A [editor].

Material type: Text Text Language: English Publication details: Nendeln : Kraus Reprint, 1968Availability: Items available for loan: Mysore University Main Library (1) Call number: 106 ICP.
Actes du huitieme congress international de philosophie / edited by E. W. Beth, H. J. Pos and J. H. A. Hollak

by Beth, E. W. and [editor] | Pos, H. J [editor] | Hollak, J. H. A [editor].

Material type: Text Text Language: English Publication details: Nendeln : Kraus Reprint, 1968Availability: Items available for loan: Mysore University Main Library (1) Call number: 106 ICP.
Pages

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

Powered by Koha