Your search returned 244 results.

Sort
Results
121.
Axiomatic method an introduction to mathematical logic by A. H. Lightstone. by
  • Lightstone, A.H
Material type: Text Book
Publication details: Englewood Cliffs Prentic-Hall Inc. 1964
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N642.

122.
Truth functions and the problem of their realization by two-terminal graphs by A. Adam by
  • Adam, A
Material type: Text Book
Publication details: Hungary Akademiai Kiado 1968
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N682.

123.
Discrete and switching functions by Marc David, Jean-Pierre Deschamps and Andre Thayse by
  • David, Marc
  • Deschamps, Jean-Pierre
  • Thayse, Andre
Material type: Text Book
Publication details: New York McGraw-Hill Intl.Bk. 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.33 N78.

124.
Schaum's outline of theory and problems of set theory and related topics by Seymour Lipschutz by
  • Lipschutz, Seymour
Material type: Text Book
Publication details: New York McGraw-Hill Book Co. 1964
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.33 N64.

125.
Sets, logic and axiomatic theories by Robert R. Stoll, by
  • Stoll, Robert R
Material type: Text Book
Publication details: San Francisco W.H. Freeman & Co. 1961
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N61;1.

126.
Set theory an introduction to independence proofs by Kenneth Kunen by
  • Kunen, Kenneth
Series: Studies in Logic and the Foundations of Mathematics V.102
Material type: Text Book
Publication details: Amsterdam North-Holland 1980
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.322 N80.

127.
Applied boolean algebra an elementary introduction by Franz E. Hohn by
  • Hohn, Franz E
Series: Series of Undergraduate Mathematics Texts
Material type: Text Book
Publication details: New York Macmillan Co. 1960
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N60.

128.
Mathematical semantics, philosophy and science V.2 by N. Shanmuganandaram by
  • Shanmugasundaram, N
Series: Philosophy of Mathematics and Mathematical Logic V.1
Material type: Text Book
Publication details: Chidambaram Sivakami Printers 1984
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N831.2.

129.
First-order dynamic logic by David Harel, by
  • Harel, David
Series: Lecture Notes in Computer Science V.68
Material type: Text Book
Publication details: Berlin Springer-Verlag 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N795.

130.
Course in numerical analysis by H. Melvin Lieberstein by
  • Lieberstein, H. Melvin
Material type: Text Book
Publication details: New York Harper & Row 1968
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.7 N683;1.

131.
Recursive function theory and logic by Ann Yasuhara by
  • Yasuhara, Ann
Series: Computer Science and Applied Mathematics, a Series of Monographs and Textbooks
Material type: Text Book
Publication details: New York Academic Press 1971
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.7 N711.

132.
Course in numerical analysis by H. Melvin Lieberstein by
  • Lieberstein, H. Melvin
Series: Harper Series in Modern Mathematics
Material type: Text Book
Publication details: New York Harper & Row Publ.Co. 1968
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.7 N683.

133.
Incidence calculus a mechanism for probabilistic reasoning by Alan Bundy by
  • Bundy, Alan
Series: Department of Artificial Intelligence University of Edinburgh
Material type: Text Book
Publication details: Edinburgh Univ. of Edinburgh 1984
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N844.

134.
Index and other useful information ed. by Albrecht Dold and Beno Eckmann by
  • Dold, Albrecht
  • Eckmann, Beno
Series: Lecture Notes in Mathematics ; 1-500
Material type: Text Book
Publication details: Berlin Springer-Verlag 1975
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N75-1.

135.
Discrete and switching functions by Marc David, Jean-Pierre Deschamps and Andre Thayse by
  • David, Marc
  • Deschamps, Jean-Pierre
  • Thayse, Andre
Material type: Text Book
Publication details: New York McGraw-Hill Intl.Bk. 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.33 N78;1.

136.
Equality, resemblance and order by Ju. A. Schreider, tr. from the Russian by Martin Greendlinger by
  • Schreider, Ju. A
  • Greendlinger, Martin
Material type: Text Book
Publication details: Moscow Mir Publishers 1975
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N751;1.

137.
Boolean algebra and its applications including boolean matrix algebra by H. Graham Flegg by
  • Flegg, Graham H
Material type: Text Book
Publication details: London Balckie 1964
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.32 N642;2.

138.
Introduction to axiomatic set theory by G. Takeuti, W. M. Zaring. by
  • Takeuti, G
  • Zaring, W. M
Series: Graduate Texts in Mathematics ; 1
Material type: Text Book
Publication details: New York Springer-Verlag 1971
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N716.

139.
Degrees of unsolvability by Gerald E. Sacks, by
  • Sacks, Gerald E
Series: Annals of Mathematics Studies
Edition: 2nd
Material type: Text Book
Publication details: NewJersey Princeton Univ.Press 1963
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N632;1.

140.
Mathematical introduction to logic by Herbert B. Enderton. by
  • Enderton, Herbert B
Material type: Text Book
Publication details: New York Academic Press 1972
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N72;1.

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832

Powered by Koha