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 ...
81
Positive dynamical systems in discrete time : theory, models, and applications /

Cover is for reference only
Main Authors: Krause, Ulrich
Corporate Authors: De Gruyter.
Published: De Gruyter,
Publication Dates: [2015]
eBook
Save to List
Saved in:
82
Truth & assertibility /

Cover is for reference only
Main Authors: Weaver, Nik
Published: World Scientific Publishing Co. Pte. Ltd.,
Publication Dates: [2015]
Call Number: O1/W363
Book
Save to List
Saved in:
83
Building proofs : a practical guide /

Cover is for reference only
Main Authors: Oliveira, Suely
Group Author: Stewart, David, 1961
Published: World Scientific,
Publication Dates: [2015]
Call Number: O141.2/O483
Book
Save to List
Saved in:
84
A course in mathematical logic /

Cover is for reference only
Main Authors: Bell, J. L. John Lane
Group Author: Machover, Moshé
Published: 世界图书出版公司北京公司,
Publication Dates: 2015.
Call Number: O141/B433
Book
Save to List
Saved in:
85
Logic, computation, hierarchies /

Cover is for reference only
Corporate Authors: De Gruyter.
Group Author: Brattka, Vasco; Diener, Hannes; Spreen, Dieter
Published: De Gruyter,
Publication Dates: [2014]
eBook
Save to List
Saved in:
86
How to read and do proofs : an introduction to mathematical thought processes /

Cover is for reference only
Main Authors: Solow, Daniel.
Corporate Authors: Wiley (Online service)
Published: John Wiley,
Publication Dates: 2014.
eBook
Save to List
Saved in:
87
The logic of Infinity /

Cover is for reference only
Main Authors: Sheppard, Barnaby
Published: Cambridge University Press,
Publication Dates: 2014.
Call Number: O144/S549
Book
Save to List
Saved in:
88
Three views of logic : mathematics, philosophy, and computer science /

Cover is for reference only
Main Authors: Loveland, Donald W.
Corporate Authors: De Gruyter.
Group Author: Hodel, Richard E.; Sterrett, S. G.
Published: Princeton University Press,
Publication Dates: [2014]
eBook
Save to List
Saved in:
89
Logical foundations of proof complexity /

Cover is for reference only
Main Authors: Cook, Stephen, 1948
Group Author: Nguyen, Phuong, 1977
Published:
Call Number: O141.2/C771
Book
Save to List
Saved in:
90
Commonsense reasoning : an event calculus-based approach /

Cover is for reference only
Main Authors: Mueller, Erik T
Corporate Authors: Elsevier Science & Technology
Published: Morgan Kaufmann,
Publication Dates: 2014.
eBook
Save to List
Saved in:
91
Logic, computation, hierarchies /

Cover is for reference only
Group Author: Brattka, Vasco, 1966; Diener, Hannes; Spreen, Dieter
Published: De Gruyter,
Publication Dates: [2014]
Call Number: B81-05/L832-1
Book
Save to List
Saved in:
92
Infinity and truth /

Cover is for reference only
Group Author: Chong, C.-T. Chi-Tat, 1949; Feng, Qi, 1955; Slaman, T. A. Theodore Allen, 1954; Woodin, W. H. W. Hugh
Published: World Scientific,
Publication Dates: [2014]
Call Number: O141-532/I432/2011
Book
Save to List
Saved in:
93
Formalism and beyond : on the nature of mathematical discourse /

Cover is for reference only
Corporate Authors: De Gruyter.
Group Author: Link, Godehard
Published: De Gruyter,
Publication Dates: [2014]
eBook
Save to List
Saved in:
94
Alfred Tarski : early work in Poland : geometry and teaching /

Cover is for reference only
Group Author: McFarland, Andrew; McFarland, Joanna; Smith, James T., 1939
Published: Birkhäuser,
Publication Dates: [2014]
Call Number: O18/A392
Book
Save to List
Saved in:
96
Lesniewski's systems of logic and foundations of mathematics /

Cover is for reference only
Main Authors: Urbaniak, Rafal
Published: Springer,
Publication Dates: [2014]
Call Number: O141/U728
Thesis Book
Save to List
Saved in:
97
Pell and Pell-Lucas numbers with applications /

Cover is for reference only
Main Authors: Koshy, Thomas
Published: Springer,
Publication Dates: [2014]
Call Number: O141/K863
Book
Save to List
Saved in:
98
Stochastic calculus with infinitesimals /

Cover is for reference only
Main Authors: Herzberg, Frederik, 1981-
Corporate Authors: SpringerLink (Online service)
Published: Springer,
Publication Dates: 2013.
eBook
Save to List
Saved in:
100
An introduction to Gödel's theorems /

Cover is for reference only
Main Authors: Smith, Peter, 1944
Published: Cambridge University Press,
Publication Dates: 2013.
Call Number: O141/S656/2nd ed.
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —