skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Index
Including "mathematical logic"   Just search Logic, Symbolic and mathematical

Results 1 - 50 of 38,396  for Everything (Includes Articles)

Results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Commonsense Reasoning
Material Type:
Book
Add to e-Shelf

Commonsense Reasoning

Mueller, Erik T

1 2006

Full text available

2
Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never previously published : together with letters from Lewis Carroll to eminent nineteenth-century logicians and to his "logical sister," and eight versions of the Barber-shop paradox
Material Type:
Book
Add to e-Shelf

Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never previously published : together with letters from Lewis Carroll to eminent nineteenth-century logicians and to his "logical sister," and eight versions of the Barber-shop paradox

Lewis Carroll 1832-1898. William Warren Bartley 1934-1990.

c1977

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 135 .D67 1977 )()

View 2 versions
3
The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Godel
Material Type:
Book
Add to e-Shelf

The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Godel

I. GRATTAN-GUINNESS

2011

Full text available

4
Introduction to mathematical logic
Material Type:
Book
Add to e-Shelf

Introduction to mathematical logic

Elliott. Mendelson

3rd ed.. c1987

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9 .M4 1987 )()

5
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein
Material Type:
Book
Add to e-Shelf

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein

Burt C. Hopkins

c2011

Online access

6
Proceedings of the 11th Asian Logic Conference: in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009
Material Type:
Book
Add to e-Shelf

Proceedings of the 11th Asian Logic Conference: in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009

Arai, Toshiyasu ; Feng, Qi ; Kim, Byunghan ; Wu, Guohua ; Yang, Yue

2011

Full text available

7
The search for mathematical roots, 1870-1940: logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel.
Material Type:
Book
Add to e-Shelf

The search for mathematical roots, 1870-1940: logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel.

Grattan-Guinness, I ; Grattan-Guinness, I

2001

Full text available

8
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Material Type:
Book
Add to e-Shelf
9
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Material Type:
Book
Add to e-Shelf

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008

Arai, T ; Brendle, J ; Kikyo, H ; Chong, C. T ; Downey, R ; Feng, Q ; Dno, H

2010

Full text available

10
New Perspectives on Games and Interaction
Material Type:
Book
Add to e-Shelf

New Perspectives on Games and Interaction

Apt, Krzysztof ; van Rooij, Robert van Rooij, Robert ; Apt, Krzysztof ; KRZYSZTOF R. APT ; ROBERT VAN ROOIJ

1st ed. 2008

Full text available

11
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II
Material Type:
Book
Add to e-Shelf
12
Infinity and truth (Lecture notes series, institute for mathematical sciences, national university of Singapore, vol. 25)
Material Type:
Book
Add to e-Shelf

Infinity and truth (Lecture notes series, institute for mathematical sciences, national university of Singapore, vol. 25)

Chong, Chitat ; Feng, Qi ; Slaman, Theodore A ; Woodin, W. Hugh Slaman Theodore A ; Feng Qi ; Chong Chitat ; Woodin W Hugh

2013

Full text available

13
Recent Progress in the Boolean Domain
Material Type:
Book
Add to e-Shelf

Recent Progress in the Boolean Domain

Steinbach, Bernd

2014

Full text available

14
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held As Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
Material Type:
Book
Add to e-Shelf

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held As Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Beyer, Dirk ; Huisman, Marieke ; Kordon, Fabrice ; Steffen, Bernhard

2019

Full text available

15
Proceedings Of The 12th Asian Logic Conference
Material Type:
Book
Add to e-Shelf

Proceedings Of The 12th Asian Logic Conference

AL, DOWNEY ROD ET Brendle Jorg ; Downey Rodney G ; Goldblatt Robert ; Kim Byunghan

2013

Full text available

16
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I
Material Type:
Book
Add to e-Shelf
17
Interactive logic: selected papers from the 7th augustus de morgan workshop, London
Material Type:
Book
Add to e-Shelf

Interactive logic: selected papers from the 7th augustus de morgan workshop, London

Van Benthem, Johan ; Gabbay, Dov ; Lowe, Benedikt BENEDIKT LÖWE ; DOV GABBAY ; JOHAN VAN BENTHEM

1st ed. 2008

Full text available

18
Proceedings of the 12th Asian logic conference, Wellington, New Zealand 15 – 20 December 2011
Material Type:
Book
Add to e-Shelf

Proceedings of the 12th Asian logic conference, Wellington, New Zealand 15 – 20 December 2011

Downey, Rod ; Brendle, Jorg ; Goldblatt, Robert ; Kim, Byunghan

2013

Full text available

19
Advances in Technological Applications of Logical and Intelligent Systems: Selected Papers from the Sixth Congress on Logic Applied to Technology
Material Type:
Book
Add to e-Shelf

Advances in Technological Applications of Logical and Intelligent Systems: Selected Papers from the Sixth Congress on Logic Applied to Technology

Lambert-Torres, G ; Abe, J.M ; Da Silva Filho, J.I ; Martins, H.G

2008

Full text available

20
Symbolic computation and education
Material Type:
Book
Add to e-Shelf

Symbolic computation and education

Li, Shangzhi ; Wang, Dongming ; Zhang, Jing-Zhong

2007

Full text available

21
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Material Type:
Book
Add to e-Shelf
22
Formal Logic: A Philosophical Approach
Material Type:
Book
Add to e-Shelf

Formal Logic: A Philosophical Approach

Paul Hoyningen-Huene

2004

Full text available

23
Elements of Causal Inference : Foundations and Learning Algorithms
Material Type:
Book
Add to e-Shelf

Elements of Causal Inference : Foundations and Learning Algorithms

Schölkopf, Bernhard ; Janzing, Dominik ; Peters, Jonas

2017

Full text available

24
Alan Turing: His Work and Impact
Material Type:
Book
Add to e-Shelf

Alan Turing: His Work and Impact

Cooper, S. Barry ; van Leeuwen, J

2013

Full text available

25
Advances in Logic, Artificial Intelligence and Robotics: Laptec 2002
Material Type:
Book
Add to e-Shelf

Advances in Logic, Artificial Intelligence and Robotics: Laptec 2002

Abe, J.M ; Da Silva Filho, J.I

2002

Full text available

26
The Future of Post-Human Mathematical Logic
Material Type:
Book
Add to e-Shelf

The Future of Post-Human Mathematical Logic

Baofu, Peter

2008

Full text available

27
Concepts of Proof in Mathematics, Philosophy, and Computer Science
Material Type:
Book
Add to e-Shelf

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Probst, Dieter ; Schuster, Peter

2016

Full text available

28
The Origin of the Logic of Symbolic Mathematics: Edmund Husserl and Jacob Klein
Material Type:
Book
Add to e-Shelf

The Origin of the Logic of Symbolic Mathematics: Edmund Husserl and Jacob Klein

BURT C. HOPKINS

2011

Full text available

29
Symbolic logic: syntax, semantics, and proof
Material Type:
Book
Add to e-Shelf

Symbolic logic: syntax, semantics, and proof

Agler, David W

2013

Full text available

30
The Construction of Logical Space
Material Type:
Book
Add to e-Shelf

The Construction of Logical Space

Rayo, Agustín

2013

Full text available

31
Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference
Material Type:
Book
Add to e-Shelf

Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference

Goncharov, Sergei S ; Ono, Hiroakira ; Downey, Rodney G Goncharov Sergei S ; Downey Rodney G ; Ono Hiroakira

2006

Full text available

32
Formalism and Beyond: On the Nature of Mathematical Discourse
Material Type:
Book
Add to e-Shelf

Formalism and Beyond: On the Nature of Mathematical Discourse

Link, Godehard

2014

Full text available

33
Eleventh Scandinavian Conference on Artificial Intelligence: SCAI 2011
Material Type:
Book
Add to e-Shelf

Eleventh Scandinavian Conference on Artificial Intelligence: SCAI 2011

Kofod-Petersen, A ; Heintz, F ; Langseth, H

2011

Full text available

34
Autonomy platonism and the indispensability argument
Material Type:
Book
Add to e-Shelf

Autonomy platonism and the indispensability argument

Marcus, Russell

2015

Full text available

35
The Amazing Journey of Reason: From DNA to Artificial Intelligence
Material Type:
Book
Add to e-Shelf

The Amazing Journey of Reason: From DNA to Artificial Intelligence

Alemi, Mario

2019

Full text available

36
Fundamentals of Set and Number Theory
Material Type:
Book
Add to e-Shelf

Fundamentals of Set and Number Theory

Zakharov, Valeriy K ; Rodionov, Timofey V

2018

Full text available

37
The Everyday Life of an Algorithm
Material Type:
Book
Add to e-Shelf

The Everyday Life of an Algorithm

Neyland, Daniel

2019

Full text available

38
Logic for physicists
Material Type:
Book
Add to e-Shelf

Logic for physicists

Pereyra, Nicolas A

2018

Full text available

39
Logic and the Foundations of Game and Decision Theory (LOFT 7) (Volume 3.0)
Material Type:
Book
Add to e-Shelf

Logic and the Foundations of Game and Decision Theory (LOFT 7) (Volume 3.0)

Van Der Hoek, Wiebe MICHAEL WOOLDRIDGE ; WIEBE VAN DER HOEK ; GIACOMO BONANNO

1st ed. 2008

Full text available

40
Proof and rhetoric : The structure and origin of proof : from Ancient Greece to Abraham Lincoln's speech in defence of the Union and Paul Keating's Mabo speech
Material Type:
Article
Add to e-Shelf

Proof and rhetoric : The structure and origin of proof : from Ancient Greece to Abraham Lincoln's speech in defence of the Union and Paul Keating's Mabo speech

Padula, Janice

Australian senior mathematics journal, 2016, Vol.30 (1), p.45-54 [Peer Reviewed Journal]

Full text available

41
Reasoning about Uncertainty
Material Type:
Book
Add to e-Shelf

Reasoning about Uncertainty

Halpern, Joseph Y

2017

Full text available