Strathmore University Library Search for 'an:23209'

By Gödel, Kurt..
New York : | Oxford [England] : Oxford University Press ; | Clarendon Press, .
xvi, 474 p. : , German text, parallel English translation.

]]> Place hold on Publications 1929-1936 /

Mathematical logic in the 20th century

Singapore : | River Edge, NJ : Singapore University Press : | World Scientific, .
xiii, 693 p. : 26 cm..

]]> Place hold on Mathematical logic in the 20th century

In the light of logic

By Feferman, Solomon..
New York : Oxford University Press, .
xii, 340 p.

]]> Place hold on In the light of logic

The equations icons of knowledge /

By Bais, Sander..
Cambridge, Mass. : Harvard University Press, .
96 p. :

]]> Place hold on The equations

Tracking reason proof, consequence, and truth /

By Azzouni, Jody..
New York : Oxford University Press, .
vi, 248 p.

]]> Place hold on Tracking reason

Elucidating the Tractatus Wittgenstein's early philosophy of logic and language /

By McGinn, Marie..
Oxford : | Oxford ; | New York : Clarendon ; | Oxford University Press, .
xii, 316 p.

]]> Place hold on Elucidating the Tractatus

The structure of models of Peano arithmetic

By Kossak, Roman,.
Oxford : Clarendon, .
xiv, 311 p.

]]> Place hold on The structure of models of Peano arithmetic

Logic and the foundations of game and decision theory (LOFT 7)

Amsterdam : Amsterdam University Press, .
240 p. : 24 cm..

]]> Place hold on Logic and the foundations of game and decision theory (LOFT 7)

Andrzej Mostowski and foundational studies

Amsterdam ; | Washington, D.C. : Ios Press, .
xi, 447 p. :

]]> Place hold on Andrzej Mostowski and foundational studies

Folk algebras in algebra logic and computer science /

By Frias, Marcelo Fabián,.
River Edge, NJ : World Scientific, .
xi, 217 p. ; 24 cm..

]]> Place hold on Folk algebras in algebra

Andrzej Mostowski and foundational studies

Amsterdam ; | Washington, D.C. : Ios Press, .
xi, 447 p. :

]]> Place hold on Andrzej Mostowski and foundational studies

The determinacy of long games

By Neeman, Itay,.
Berlin ; | New York : Walter de Gruyter, .
xi, 317 p. : 25 cm..

]]> Place hold on The determinacy of long games

Folk algebras in algebra logic and computer science /

By Frias, Marcelo Fabián,.
River Edge, NJ : World Scientific, .
xi, 217 p. ; 24 cm..

]]> Place hold on Folk algebras in algebra

Gödel's incompleteness theorems

By Smullyan, Raymond M..
New York : Oxford University Press, .
xiii, 139 p.

]]> Place hold on Gödel's incompleteness theorems

Math proofs demystified

By Gibilisco, Stan..
New York : McGraw-Hill, .
xv, 288 p. :

]]> Place hold on Math proofs demystified

Mathematical logic in the 20th century

Singapore : | River Edge, NJ : Singapore University Press : | World Scientific, .
xiii, 693 p. : 26 cm..

]]> Place hold on Mathematical logic in the 20th century

In the light of logic

By Feferman, Solomon..
New York : Oxford University Press, .
xii, 340 p.

]]> Place hold on In the light of logic

Recursion theory for metamathematics

By Smullyan, Raymond M..
New York : Oxford University Press, .
xiv, 163 p.

]]> Place hold on Recursion theory for metamathematics

Publications 1929-1936 /

By Gödel, Kurt..
New York : | Oxford [England] : Oxford University Press ; | Clarendon Press, .
xvi, 474 p. : , German text, parallel English translation.

]]> Place hold on Publications 1929-1936 /

The equations icons of knowledge /

By Bais, Sander..
Cambridge, Mass. : Harvard University Press, .
96 p. :

]]> Place hold on The equations

Logically determined design clockless system design with NULL convention logic /

By Fant, Karl M..
Hoboken, NJ : John Wiley & Sons, .
xvi, 292 p. : , "A John Wiley and Sons, Inc. publication." 24 cm..

]]> Place hold on Logically determined design

Uncertain inference

By Kyburg, Henry Ely,.
Cambridge, UK ; | New York : Cambridge University Press, .
xii, 298 p. :

]]> Place hold on Uncertain inference

Wittgenstein's Tractatus a dialectical interpretation /

By Ostrow, Matthew B.,.
Cambridge ; | New York : Cambridge University Press, .
xi, 175 p.

]]> Place hold on Wittgenstein's Tractatus

Set theory

By Tourlakis, George J..
Cambridge, UK ; | New York : Cambridge University Press, .
xv, 575 p.

]]> Place hold on Set theory

Mathematical logic

By Tourlakis, George J..
Cambridge, UK ; | New York : Cambridge University Press, .
xi, 328 p.

]]> Place hold on Mathematical logic

Paradox and paraconsistency conflict resolution in the abstract sciences /

By Woods, John..
Cambridge, U.K. ; | New York : Cambridge University Press, .
xviii, 362 p. :

]]> Place hold on Paradox and paraconsistency

Recursion theory for metamathematics

By Smullyan, Raymond M..
New York : Oxford University Press, .
xiv, 163 p.

]]> Place hold on Recursion theory for metamathematics

Logically determined design clockless system design with NULL convention logic /

By Fant, Karl M..
Hoboken, NJ : John Wiley & Sons, .
xvi, 292 p. : , "A John Wiley and Sons, Inc. publication."

]]> Place hold on Logically determined design

The determinacy of long games

By Neeman, Itay,.
Berlin ; | New York : Walter de Gruyter, .
xi, 317 p. :

]]> Place hold on The determinacy of long games

The equations icons of knowledge /

By Bais, Sander..
Cambridge, Mass. : Harvard University Press, .
96 p. :

]]> Place hold on The equations