|
|
| |
81. |
|
Paradox and paraconsistency
by Woods, John
Publication:
Cambridge, U.K. ; | New York : Cambridge University Press, 2003
. 1 online resource (xviii, 362 p.) :
Date:2003
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
82. |
|
Logically determined design
by Fant, Karl M.
Publication:
Hoboken, N.J. : John Wiley & Sons, 2005
. 1 online resource (xvi, 292 p.) :
, "Wiley-Interscience."
Date:2005
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
83. |
|
Discovering patterns in mathematics and poetry
by Birken, Marcia.
Publication:
Amsterdam ; | New York : Rodopi, 2008
. 1 online resource (213 p.) :
Date:2008
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
84. |
|
Interactive logic
Publication:
Amsterdam : Amsterdam Univsity Press, 2007
. 1 online resource (362 p.)
Date:2007
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
85. |
|
Logic and automata
Publication:
Amsterdam : Amsterdam University Press, 2008
. 1 online resource.
, Title from PDF title page (viewed July 1, 2008).
Date:2008
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
86. |
|
Andrzej Mostowski and foundational studies
Publication:
Amsterdam ; | Washington, D.C. : Ios Press, 2008
. 1 online resource (xi, 447 p.) :
Date:2008
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
87. |
|
Uncertain inference
by Kyburg, Henry Ely,
Publication:
Cambridge, UK ; | New York : Cambridge University Press, 2001
. 1 online resource (xii, 298 p.) :
Date:2001
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
88. |
|
Deducibility and decidability
by Gill, R. R. Rockingham,
Publication:
London ; | New York : Routledge, 1990
. 1 online resource (viii, 162 p.)
Date:1990
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
89. |
|
Knowledge in action
by Reiter, Raymond.
Publication:
Cambridge, Mass. : MIT Press, 2001
. 1 online resource (xvi, 424 pages) :
Date:2001
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
90. |
|
Proof, logic, and formalization
Publication:
London ; | New York : Routledge, 1992
. 1 online resource (x, 241 p.) :
Date:1992
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
91. |
|
Mathematical logic in the 20th century
Publication:
Singapore : | River Edge, N.J. : Singapore University Press ; | World Scientific, 2003
. 1 online resource (xiii, 693 p.) :
Date:2003
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
92. |
|
Wittgenstein's Tractatus
by Ostrow, Matthew B.,
Publication:
Cambridge ; | New York : Cambridge University Press, 2002
. 1 online resource (xi, 175 p.)
Date:2002
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
93. |
|
Elements of scientific inquiry
by Martin, Eric,
Publication:
Cambridge, Mass. : MIT Press, 1998
. 1 online resource (xii, 270 p.)
, "A Bradford book."
Date:1998
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
94. |
|
Intensional logic and the metaphysics of intentionality
by Zalta, Edward N.,
Publication:
Cambridge, Mass. : MIT Press, 1988
. 1 online resource (xiii, 256 p.) :
, "A Bradford book."
Date:1988
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
95. |
|
Mathematical logic
by Chiswell, Ian,
Publication:
London ; | New York : Oxford University Press, 2007
. 1 online resource (viii, 250 p.) :
, Includes index.
Date:2007
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
96. |
|
Handbook of logic in computer science.
Publication:
Oxford : | New York : Clarendon Press ; | Oxford University Press, 2000
. 1 online resource.
Date:2000
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
97. |
|
Handbook of logic in artificial intelligence and logic programming.
Publication:
Oxford : | Oxford ; | New York : Clarendon Press ; | Oxford University Press, 1998
. 1 online resource.
Date:1998
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
98. |
|
Inheritance theory
by Al-Asady, Raad.
Publication:
Norwood, N.J. : Ablex Pub., 1995
. 1 online resource (x, 204 p.) :
Date:1995
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
99. |
|
Computability and logic
by Boolos, George.
Publication:
Cambridge ; | New York : Cambridge University Press, 2002
. 1 online resource (xi, 356 p.) :
Date:2002
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
100. |
|
The logic of knowledge bases
by Levesque, Hector J.,
Publication:
Cambridge, Mass. : MIT Press, 2000
. 1 online resource (xviii, 282 p.)
Date:2000
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
