Wellcome

Your search returned 13 results.

Sort
Results
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.
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.
Constructivity in mathematics :

by Proceedings of the colloquim on constructivity in mathematics (1957 ; Aug. 26th - 31st ; Amsterdam).

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., 1959Availability: Items available for loan: Mysore University Main Library (1) Call number: 511.1.
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.
Problems in the philosophy of mathematics : edited by Imre Lakatos proceedings of the International Colloquium in the philosophy of science, London, 1965.

by Lakatos, Imre [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, 1967Availability: Items available for loan: Mysore University Main Library (2) Call number: 510.01 LAK.1 , ...
Intuitionistic logic model theory and forcing

by Fitting, Melvin Chris.

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 1969Availability: Items available for loan: Mysore University Main Library (1) Call number: 164.
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.
Elementary induction on abstract structures Yiannis N. Moschovakis

by Moschovakis, Yiannis N.

Series: Studies in logic and the foundations of mathematicsMaterial type: Text Text Publication details: London : North - Holland Publishing Company, 1974Availability: Items available for loan: University Graduate Library (1) Call number: 160 MOS.
Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics. edited by Hugues Leblanc

by Leblanc, Hugues [editor ].

Series: Studies in logic and the foundations of mathematics, v. 68Material type: Text Text Language: eng Publication details: London : North - Holland Publishing Company, 1973Availability: Items available for loan: Mysore University Main Library (1) Call number: 412 LEB.
Constructivity in mathematics

by Proceedings of the colloquim on constructivity in mathematics (1957 ; Aug. 26th - 31st ; Amsterdam).

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. 1959Availability: Items available for loan: Mysore University Main Library (1) Call number: 511.1 PRO.
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.
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus R. L. Goodstein

by Goodstein, R. L.

Series: Studies in logic and the foundations of mathematicsMaterial type: Text Text Language: English Publication details: Amsterdam : North-Holland Publishing Company, 1957Availability: Items available for loan: Mysore University Main Library (1) Call number: 512.1 GOO.
Intuitionism : an introduction A. Heyting

by Heyting, A.

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

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

Powered by Koha