Reset Filters
Filter Related Topics: Logic, Symbolic and mathematical
Filter Related Topics within your search.
Logic, Symbolic and mathematical Mathematics 141 Philosophy 92 Electronic books 82 Congresses 79 Computer science 74 Artificial intelligence 65 more ...
221
Lectures in logic and set theory

Cover is for reference only
Main Authors: Tourlakis George J
Published: Cambridge University Press,
Publication Dates: 2003.
Call Number: O14/T727
Book
Save to List
Saved in:
223
Gnomes in the fog the reception of Brouwer's intuitionism in the 1920s

Cover is for reference only
Main Authors: Hesseling Dennis E
Published: Birkhäuser,
Publication Dates: c2003.
Call Number: O141/H587
Book
Save to List
Saved in:
224
Logic and language

Cover is for reference only
Main Authors: Dean Neville
Published: Palgrave Macmillan,
Publication Dates: 2003.
Call Number: B81-05/D282
Book
Save to List
Saved in:
226
Mathematical logic in the 20th century

Cover is for reference only
Group Author: Sacks Gerald E
Published: Singapore University Press World Scientific,
Publication Dates: c2003
Call Number: O141/M426-2
Book
Save to List
Saved in:
227
Probabilistic logic in a coherent setting

Cover is for reference only
Main Authors: Coletti Giulianella
Group Author: Scozzafava Romano
Published: Kluwer Academic Publishers,
Publication Dates: c2002.
Call Number: O14/C694
Book
Save to List
Saved in:
230
Internal logic foundations of mathematics from Kronecker to Hilbert

Cover is for reference only
Main Authors: Gauthier Yvon
Published: Kluwer Academic Publishers,
Publication Dates: c2002.
Call Number: O1-0/G276
Book
Save to List
Saved in:
231
Mathematical thinking and writing a transition to abstract mathematics

Cover is for reference only
Main Authors: Maddox Randall B
Published: Academic Press,
Publication Dates: c2002.
Call Number: O141.2/M179
Book
Save to List
Saved in:
232
Uncertain logics, variables, and systems

Cover is for reference only
Main Authors: Bubnicki Zdzisław
Published: Springer,
Publication Dates: c2002.
Call Number: TP18/B917
Book
Save to List
Saved in:
235
Handbook of the logic of argument and inference the turn towards the practical

Cover is for reference only
Group Author: Gabbay Dov M 1945-
Published: North Holland/Elsevier,
Publication Dates: 2002.
Call Number: O141-62/H236
Book
Save to List
Saved in:
236
The search for certainty a philosophical account of foundations of mathematics

Cover is for reference only
Main Authors: Giaquinto M (Marcus)
Published: Clarendon Press Oxford University Press,
Publication Dates: 2002.
Call Number: O1-0/G434
Book
Save to List
Saved in:
237
An introduction to mathematical logic and type theory to truth through proof

Cover is for reference only
Main Authors: Andrews P. B (Peter Bruce), 1937-
Published: Kluwer Academic Publishers,
Publication Dates: 2002.
Call Number: O141/A568/2nd.ed.
Book
Save to List
Saved in:
239
Automata logics, and infinite games a guide to current research

Cover is for reference only
Corporate Authors: LINK Online service
Group Author: Grädel Erich 1958-; Thomas Wolfgang 1947-; Wilke Thomas
Published: Springer-Verlag,
Publication Dates: c2002.
Call Number: TP301.6/A939
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —