|
|
1081.
|
Introduction to the basic concepts and problems of modern logic
by Hasenjaeger, G. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: 180p.Publisher: Dordrecht D. Reidel Publishing Co. 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H272] (1).
|
|
|
1082.
|
Systems of logic
by Martin, Norman M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 318p.Publisher: Cambridge Cambridge University Press 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 M364s] (1).
|
|
|
1083.
|
From axiom to dialogue
: a philosophical study of logics and argumentation
by Barth, E. M | Krabbe, E. C. W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xl, 337p.Publisher: Berlin Walter de Gruyter 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B282f] (1).
|
|
|
1084.
|
Language and logic in the post-medieval period
by Ashworth, E. J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 304p.Publisher: Dordrecht D.Reidel 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 As98l] (1).
|
|
|
1085.
|
Pragmatic logic
by Wojtasiewicz, Olgierd [tr.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 460p.Publisher: Dordrecht D. Reidel Publishing 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 144.3 Ad49lE] (1).
|
|
|
1086.
|
Mathematical logic and foundations of set theory
: proceedings of an international colloquium held under the auspices of the Israel academy of sciences and humanities Jerusalem, 11-14 November 1968
by Bar-Hillel, Yehoshua [ed.]. Material type: Book Description: 145p.Publisher: Amsterdam North-Holland publishing 1970Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 St9] (1).
|
|
|
1087.
|
Logico-linguistic papers
by Martin, R. M. Material type: Book Description: ix, 202 p.Publisher: Dordrecht, Holland, Foris Publications 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 401 M365l] (1).
|
|
|
1088.
|
Logic Colloquium
: proceedings...
by Logic Colloquium New York 1988 | European Foundation for Logic, Language, and Information | Center for the Study of Language and Information (U.S.). Material type:  Continuing resource; Format:
print
Description: multi volumes.Publisher: Amsterdam : North-Holland Pub., 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829L 1988] (1).
|
|
|
1089.
|
Philosophical logic
by Milton Keynes.The Open University Press | Milton Keynes.The Open University Press. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 65p.Publisher: Milton Keynes The Open University Press 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 128 Op2p] (1).
|
|
|
1090.
|
The logic of mind
by Nelson, R.J. Material type: Book Description: xvi, 393p.Publisher: Dordrecht Kluwer Academic publishers 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 128.2 N336l2] (1).
|
|
|
1091.
|
Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning
by Coecke, Bob | Kissinger, Aleks. Description: xvii, 827p.Publisher: Cambridge Cambridge University Press 2017Availability: No items available Checked out (1).
|
|
|
1092.
|
Studies in inductive logic and probability, v.1
by Carnap, Rudolf [ed.] | Jeffrey, Richard C. [ed.]. Material type: Book Description: 264p.Publisher: Berkeley University of California Press 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 161 C214 v.1] (1).
|
|
|
1093.
|
Fundamentals of electronic systems design
by Lienig, Jens | Bruemmer, Hans. Description: xiii, 241p.Publisher: Switzerland Springer 2017Availability: No items available Checked out (1).
|
|
|
1094.
|
Introduction to logic circuits & logic design with VHDL
by LaMeres, Brock J. Description: xvi, 475p.Publisher: Switzerland Springer 2017Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 L182i] (1).
|
|
|
1095.
|
Combinatory logic
by Curry, Haskell B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2 v.Publisher: Amsterdam North-Holland Publishing 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 St9 v.2] (1).
|
|
|
1096.
|
Language, proof and logic
by Barker-Plummer, Dave | Barwise, Jon | Etchemendy, John. Edition: 2nd ed. Description: xiii, 606p.Publisher: California CSLI 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B241l2] (1).
|
|
|
1097.
|
An introduction to non-classical logic [2nd ed.]
: from If to Is
by Priest, Graham. Edition: 2nd ed. Description: xxxii, 613p.Publisher: Cambridge Cambridge University Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P933i2 cop.2] (4). Checked out (1).
|
|
|
1098.
|
A primer of probability logic
by Adams, Ernest W. Description: xiv, 378p.Publisher: California CSLI Publications 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Ad17p] (1).
|
|
|
1099.
|
Paraconsistency
: logic and applications
by Tanaka, Koji [ed.] | Mares, Edwin [ed.] | Berto, Francesco [ed.] | Paoli,Francesco [ed.]. Description: viii, 383p.Publisher: New Zealand Springer 2013Availability: No items available Checked out (1).
|
|
|
1100.
|
Logical pluralism
by Beall, JC | Beall, JC | Restall, Greg. Description: viii,143p.Publisher: Oxford Oxford University Press 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B36l] (1).
|
