Reset Filters
Filter Related Topics: Logique symbolique et mathématique
Filter Related Topics within your search.
Logique symbolique et mathématique Logic, Symbolic and mathematical 22 Artificial intelligence 5 Intelligence artificielle 5 Philosophie 5 Philosophy 5 Congrès 4 more ...
1
Architecture of mathematics /

Cover is for reference only
Main Authors: Serovajsky, Simon
Published: CRC Press,
Publication Dates: 2021.
Call Number: O141/S486
Book
Save to List
Saved in:
5
How to prove it a structured approach

Cover is for reference only
Main Authors: Velleman Daniel J
Published: Cambridge University Press,
Publication Dates: 2006.
Call Number: O14/V439/2nd.ed.
Book
Save to List
Saved in:
6
Mathematical problems from applied logic II logics for the XXIst century

Cover is for reference only
Group Author: Gabbay Dov M 1945-; Goncharov S. S; Zakharyaschev Michael
Published: Springer,
Publication Dates: c2006.
Call Number: O141/M426-4
Book
Save to List
Saved in:
8
Euclid in the rainforest discovering universal truth in logic and math

Cover is for reference only
Main Authors: Mazur Joseph
Published: Pi,
Publication Dates: c 2005.
Call Number: O184/M476
Book
Save to List
Saved in:
9
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:
10
How to read and do proofs an introduction to mathematical thought processes

Cover is for reference only
Main Authors: Solow Daniel
Published: Wiley,
Publication Dates: c2002.
Call Number: O141.2/S689/3rd.ed.
Book
Save to List
Saved in:
11
Logic, sets, and recursion

Cover is for reference only
Main Authors: Causey Robert L
Published: Jones and Bartlett,
Publication Dates: c2001.
Call Number: O141/C374/rev.ed.
Book
Save to List
Saved in:
14
Logic and the art of memory the quest for a universal language

Cover is for reference only
Main Authors: Rossi Paolo, 1923-
Published: University of Chicago Press,
Publication Dates: 2000.
Call Number: B81-05/R833
Book
Save to List
Saved in:
16
Logic at work essays dedicated to the memory of Helena Rasiowa

Cover is for reference only
Group Author: Orlowska Ewa; Rasiowa Helena
Published: Physica-Verlag,
Publication Dates: c1999.
Call Number: O141-53/L832.4/
Book
Save to List
Saved in:
17
La machine en logique

Cover is for reference only
Main Authors: Wagner Pierre
Published: Presses universitaires de France,
Publication Dates: c1998.
Call Number: TP301/W134
Book
Save to List
Saved in:
18
Logical approach to systems theory

Cover is for reference only
Main Authors: Takahashi Shingo 1960-
Group Author: Takahara Yasuhiko 1935-
Published: Springer,
Publication Dates: 1995.
Call Number: TP11/T136.1/
Book
Save to List
Saved in:
20
The logic of knowledge bases

Cover is for reference only
Main Authors: Levesque Hector J., 1951-
Group Author: Lakemeyer Gerhard.
Published: MIT Press,
Publication Dates: c2000.
Call Number: TP182/L662
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —