|
1.
|
Contributions to mathematical logic
: Proceedings of the Logic Colloquium, Hannover 1966
by (11th : Logic Colloquium Hannover, Germany) 1966 : | Schmidt, H. Arnold [ed.] | Schütte, K. [ed.] | Thiele, H. J. [ed.] | International Union of the History and Philosophy of Science. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 303p.Publisher: Amsterdam North-Holland 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 St9 v.46] (1).
|
|
2.
|
Logic, methodology and philosophy of science III
: proceedings of the Third international congress for logic, methodology and philosophy of science, Amsterdam 1967
by (3rd International congress for logic, methodology and philosophy of science Amsterdam, Netherlands 1967 | Rootselaar, B. Van [ed.] | Staal, Frits F. [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 553p.Publisher: Amsterdam North-Holland Publishing 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 IN8L] (2).
|
|
3.
|
ADVANCEMENT OF LEARNING
by Bacon, Francis, Viscount St. A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 214.Publisher: Chicago Encyclopaedia Britannica 1952Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 192.1 B132a] (1).
|
|
4.
|
Logic, language and probability
: a selection of papers contributed to sections IV, VI, and XI of the Fourth international congress for logic, methodology, and philosophy of science, Bucharest, September 1971
by 4th International congress for logic, methodology, and philosophy of science Bucharest 1971 | Bogdan, Radu J. [ed.] | Niiniluoto, Ilkka [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 323p.Publisher: Boston D. Reidel publishing BostonAvailability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 IN8L] (1).
|
|
5.
|
LOGIC AND SOCIETY
: CONTRADICTIONS AND POSSIBLE WORLDS
by Elster, Jon. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 235p.Publisher: Chichester John Wiley 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 300.18 El79l] (1).
|
|
6.
|
LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE VI
by Cohen L.J. Edition: 6THMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: XIV, 856p.Publisher: Amsterdam Norht Holland Publishing Co. 1982Availability: No items available
|
|
7.
|
Formal methods in artificial intelligence
by Ramsay, Allan. Material type: Book Description: ix, 279p.Publisher: Cambridge Cambridge University Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 R149f] (1).
|
|
8.
|
Dynamic epistemic logic
by Ditmarsch, Hans Van | Hoek, Wiebe Van Der. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,282p.Publisher: Netherlands Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121 D635d] (1).
|
|
9.
|
CONTRIBUTIONS TO LOGIC AND METHODOLOGY
by Tymieniecka, Anna Teresa (Ed.). Material type: Book Description: xviii,326p.Publisher: Amsterdam North-Holland 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160.8 T976c cop.2] (1).
|
|
10.
|
SYSTEM OF LOGIC
: RATIOCINATIVE AND INDUCTIVE
by Mill, John Stuart. Material type: Book Description: xvi, 622p.Publisher: London Longmans 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 M61] (1).
|
|
11.
|
THE RHETORIC OF SCIENCE
by Francis, Roy G. Material type: Book Description: 183.Publisher: Minneapolis University Of Minnesota Press 1959Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 300.18 F847r] (1).
|
|
12.
|
INTRODUCTION TO THE FOUNDATIONS OF MATHEMATICS
by Wilder, Raymond Louis. Material type: Book Description: 305.Publisher: N. Y. Wiley 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 W64i] (1).
|
|
13.
|
Introduction to the foundations of mathematics
by Wilder, Raymond L. Material type: Book Description: xiv, 305p.Publisher: New York John Wiley & Sons 1952Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 W64i] (1).
|
|
14.
|
INTRODUCTION TO THE FOUNDATIONS OF MATHEMATICS
by Wilder, Raymond Louis. Material type: Book Description: 305.Publisher: N. Y. Wiley 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 W64i] (1).
|
|
15.
|
THE LOGIC OF SCIENTIFIC DISCOVERY
by Popper, Karl Raimund. Material type: Book Description: 479.Publisher: N. Y. Science Edition 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501.8 P81LE] (1).
|
|
16.
|
THE LOGIC OF SCIENTIFIC DISCOVERY
by Popper, Karl Raimund. Material type: Book Description: 479.Publisher: N. Y. Science Edition 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501.8 P81LE] (1).
|
|
17.
|
The principles of science
: a treatise on logic and scientific method
by Jevons, W Stanley | Nagel, Ernest. Material type: Book Description: liii, 786p.Publisher: New York Dover Publications 1958Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 J53] (1).
|
|
18.
|
Logic, methodology and philosophy of science
: proceedings of the 1960 international congress
by International congress on logic, methodology and philosophy of science California 1960 | Nagel, Ernest [ed.] | Suppes, Patrick [ed.] | Tarski, Afred [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Stanford Standford University Press 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 In8l] (1).
|
|
19.
|
Logic, methodology, and philosophy of science
: edited by L. Jonathan Cohen [et al.]
by 6th International Congress of logic, Methodology, and Philosophy of Science Amsterdam 1979 | Cohen, L. Jonathan [ed.] | Los, Jerzy | Pfeiffer, Helmut | Podewski, Klaus-Peter. Description: xiv,856p.Publisher: Amsterdmam North-Holland 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 In8] (2).
|
|
20.
|
A Practical Theory of Reactive Systems
: Incremental Modeling of Dynamic Behaviors /
: [electronic resource] :
by Kurki-Suonio, Reino [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 420 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|