Your search returned 21 results.

Sort
Results
1.
Computer programming and formal systems editors P. Braffort and D. Hirschberg by Series: Studies in logic and the foundations of mathematics
Material type: Text Text
Publication details: Amsterdam North-Holland 1963
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 001.642 B812C.

2.
Classification theory and the number of non-isomorphic models S. Shelah by Series: Studies in logic and the foundations of mathematics;v.92
Material type: Text Text
Publication details: Amsterdam North-Holland 1978
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.8 S544C.

3.
Model theory C. C. Chang and H. J. Keisler by Series: Studies in logic and the foundations of mathematics;v.73
Material type: Text Text
Publication details: Amsterdam North-Holland 1977
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.8 C456M,2 2.

4.
Handbook of mathematical logic editor Jon Barwise by Series: Studies in logic and the foundations of mathematics; v.90
Material type: Text Text
Publication details: New York North-Holland 1977
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 B296H.

5.
Large infinitary languages model theory M. A. Dickmann by Series: Studies in logic and the foundations of mathematics; v.83
Material type: Text Text
Publication details: Amsterdam North-Holland 1975
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 D553L.

6.
Foundational studies selected works Andrzej Mostowski by Series: Studies in logic and the foundations of mathematics; v.93
Material type: Text Text
Publication details: Amsterdam North-Holland 1979
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 M916F.2 0.2.

7.
Foundational studies selected works Andrzej Mostowski by Series: Studies in logic and the foundations of mathematics; v.93
Material type: Text Text
Publication details: Amsterdam North-Holland 1979
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 M916F.1 0.1.

8.
Proof theory Gaisi Takeuti by Series: Studies in logic and the foundations of mathematics; v.81
Material type: Text Text
Publication details: Amsterdam North-Holland 1975
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 T136P.

9.
Model theory for infinitary logic logic with countable conjunctions and finite quantifiers H. Jerome Keisler by Series: Studies in logic and the foundations of mathematics ; v.62
Material type: Text Text
Publication details: London North-Holland 1971
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 K27M.

10.
Topoi the categorial analysis of logic Robert Goldblatt by Series: Studies in logic and the foundations of mathematics; v.98
Material type: Text Text
Publication details: New York North-Holland 1979
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 512.55 G618T.

11.
Non-Standard analysis Abraham Robinson by Series: Studies in logic and the foundations of mathematics
Material type: Text Text
Publication details: Amsterdam North-Holland 1966
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 515 R658N.

12.
Sets and classes on the work by paul bernays editor Gert H. Muller by Series: Studies in logic and the foundations of mathematics; v.84
Material type: Text Text
Publication details: Amsterdam North-Holland 1976
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.32 M958S.

13.
Set theory an introduction to large cardinals Frank R. Drake by Series: Studies in logic and the foundations of mathematics; v.76
Material type: Text Text
Publication details: Amsterdam North-Holland 1974
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.32 D761S.

14.
Set theory K. Kuratowski and A. Mostowski by Series: Studies in logic and the foundations of mathematics
Material type: Text Text
Publication details: Amsterdam North-Holland 1968
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.32 K96S.

15.
Abstract set theory Abraham A. Fraenkel by Series: Studies in logic and the foundations of mathematics
Edition: 3rd3rd
Material type: Text Text
Publication details: Amsterdam North-Holland 1966
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.32 F799A,3 3.

16.
Boole's logic and probability Theodore Hailperin by Series: Studies in logic and the foundations of mathematics; v.85
Material type: Text Text
Publication details: Amsterdam North-Holland 1976
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 519.1 H151B.

17.
Deductive theory of space and time Saul A. Basri by Series: Studies in logic and the foundations of mathematics
Material type: Text Text
Publication details: Amsterdam North-Holland 1966
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 530.11 B316D.

18.
Introduction to the theory of finite automata N. E. Kobrinskii and B. A. Trakhtenbrot by Series: Studies in logic and the foundations of mathematics
Material type: Text Text
Publication details: Amsterdam North-Holland 1965
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 629.8 K75I.

19.
Selected works Jan Lukasiewicz; editor L. Borkowski by Series: Studies in logic and the foundations of mathematics
Material type: Text Text
Publication details: Amsterdam North-Holland 1970
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 L954S.

20.
Foundations of mathematics a study in the philosophy of science Evert W. Beth by Series: Studies in logic and the foundations of mathematics
Edition: 2nd2nd rev.
Material type: Text Text
Publication details: Amsterdam North-Holland 1965
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 164 B562F,2.

Pages
Copyright © 2020 GBPUAT. All Rights Reserved.