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 20,599  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
Mathematical Logic, Revised Edition.
Material Type:
Book
Add to e-Shelf

Mathematical Logic, Revised Edition.

Quine, W. V; Quine, Willard.

1979

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
Material Type:
Article
Add to e-Shelf

Anti-unification for unranked terms and hedges

Kutsia, Temur ; Levy, Jordi ; Villaret I Ausellé, Mateu

2014

Full text available

4
Material Type:
Article
Add to e-Shelf

Anti-Unification for Unranked Terms and Hedges

Kutsia, Temur ; Levy, Jordi ; Villaret I Ausellé, Mateu

2011

Full text available

5
Material Type:
Article
Add to e-Shelf

A Variant of Higher-Order Anti-Unification

Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret I Ausellé, Mateu

2013

Full text available

6
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 )()

7
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

8
Material Type:
Dissertation
Add to e-Shelf

On the integration of elementary functions: Computing the logarithmic part

Miller, Brian L

2012-05

Full text available

9
Material Type:
Article
Add to e-Shelf

An Efficient Nominal Unification Algorithm

Levy, Jordi ; Villaret I Ausellé, Mateu

2010

Full text available

10
Material Type:
Article
Add to e-Shelf

SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format

Bofill Arasa, Miquel ; Palahí I Sitges, Miquel ; Suy Franch, Josep ; Villaret I Ausellé, Mateu

2009

Full text available

11
Material Type:
Video
Add to e-Shelf

Lògica borrosa i lògica

Esteva Massaguer, Francesc ; Godo I Lacasa, Lluís

2015

Full text available

12
Material Type:
Dissertation
Add to e-Shelf

Correcció d'exercicis de lògica per l'ACME

Torm Bossa, Gemma Prados Carrasco, Ferran ; Universitat De Girona. Escola Politècnica Superior

2012

Full text available

13
Material Type:
Dissertation
Add to e-Shelf

The Use of Mathematics as a Conceptual Device in the Dialogues of Plato

Alley, Stephanie

2006-05

Full text available

14
Material Type:
Article
Add to e-Shelf

A Write-Based Solver for SAT Modulo the Theory of Arrays

Bofill Arasa, Miquel ; Nieuwenhuis, Robert ; Oliveras Llunell, Albert ; Rodríguez Carbonell, Enric ; Rubio, Albert

2008

Full text available

15
Material Type:
Video
Add to e-Shelf

Sessions per a mestres sobre l'ensenyament de les correspondències matemàtiques de qualitat i quantitat [8-10-2010]

Canals, Maria Antònia

2010

Full text available

16
Material Type:
Dissertation
Add to e-Shelf

Extending temporal action logic

Gustafsson, Joakim Universitetet I Linkp̲ing

2001

Full text available

17
Symbolic Logic
Material Type:
Book
Add to e-Shelf

Symbolic Logic

Carroll, Lewis

Full text available

18
Mathematical Logic.
Material Type:
Book
Add to e-Shelf

Mathematical Logic.

Chiswell, Ian; Hodges, Wilfrid.

2007

Full text available

19
Logic with Trees: An Introduction to Symbolic Logic.
Material Type:
Book
Add to e-Shelf

Logic with Trees: An Introduction to Symbolic Logic.

Howson, Colin

1st ed.. 1997

Full text available

20
Mathematics and Mathematical Logic: New Research.
Material Type:
Book
Add to e-Shelf

Mathematics and Mathematical Logic: New Research.

Milosav, Peter; Ercegovaca, Irene.

2009

Full text available

21
Mathematical Logic in the 20th Century.
Material Type:
Book
Add to e-Shelf

Mathematical Logic in the 20th Century.

Sacks, Gerald E

2003

Full text available

22
Phenomenology and Logic: The Boston College Lectures on Mathematical Logic and Existentialism.
Material Type:
Book
Add to e-Shelf

Phenomenology and Logic: The Boston College Lectures on Mathematical Logic and Existentialism.

Lonergan, Bernard; Mcshane, Philip, J.

2001

Full text available

23
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic.
Material Type:
Book
Add to e-Shelf

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic.

Tourlakis, George; Bollobas, B. ; Fulton, W. ; Katok, A. ; Kirwan, F. ; Sarnak, P. ; Simon, B. ; Totaro, B.

2003

Full text available

View all versions
24
A First Course in Mathematical Logic and Set Theory.
Material Type:
Book
Add to e-Shelf

A First Course in Mathematical Logic and Set Theory.

O'Leary, Michael L

1st ed.. 2015

Full text available

25
Elementary Logic.
Material Type:
Book
Add to e-Shelf

Elementary Logic.

Garrett, Brian

2014

Full text available

View all versions
26
Diamond: A Paradox Logic.
Material Type:
Book
Add to e-Shelf

Diamond: A Paradox Logic.

Hellerstein, N. S

2nd ed.. 2010

Full text available

27
Handbook of Logic in Artificial Intelligence and Logic Programming Volume 5.
Material Type:
Book
Add to e-Shelf

Handbook of Logic in Artificial Intelligence and Logic Programming Volume 5.

Gabbay, D.M; Hogger, C. ; Robinson, J.A. ; Robinson, J. A. ; Hogger, C. J.

1998

Full text available

28
Logic of Reliable Inquiry. Logic and Computation in Philosophy, The.
Material Type:
Book
Add to e-Shelf

Logic of Reliable Inquiry. Logic and Computation in Philosophy, The.

Kelly, Kevin T

1995

Full text available

29
Proceedings of the 10Th Asian Logic Conference.
Material Type:
Book
Add to e-Shelf

Proceedings of the 10Th Asian Logic Conference.

Arai, T; Bredle, Joerg. ; Chong, Chitat. ; Downey, Rodney G.

2009

Full text available

30
First Course in Logic, A.
Material Type:
Book
Add to e-Shelf

First Course in Logic, A.

Hedman, Shawn

2004

Full text available

31
The Continuum Companion to Philosophical Logic: Continuum Companion to Philosophical Logic.
Material Type:
Book
Add to e-Shelf

The Continuum Companion to Philosophical Logic: Continuum Companion to Philosophical Logic.

Horsten, Leon; Pettigrew, Richard. ; Anderson, C.Anthony. ; Burgess, John. ; Costa, Horacia Arlo. ; Dietz, Richard. ; Douven, Igor. ; Egre, Paul. ; Halbach, Volker. ; Linnebo, Oystein.

1st ed.. 2011

Full text available

32
Distilling Ideas: An Introduction to Mathematical Thinking.
Material Type:
Book
Add to e-Shelf

Distilling Ideas: An Introduction to Mathematical Thinking.

Katz, Brian P; Starbird, Michael.

2013

Full text available

33
Studies in Logic: By Members of the Johns Hopkins University (1883).
Material Type:
Book
Add to e-Shelf

Studies in Logic: By Members of the Johns Hopkins University (1883).

Peirce, Charles Sanders; Fisch, Max H. ; Eschbach, Achim.

1983

Full text available

34
Foundations Without Foundationalism: A Case for Second-Order Logic.
Material Type:
Book
Add to e-Shelf

Foundations Without Foundationalism: A Case for Second-Order Logic.

Shapiro, Stewart

1991

Full text available

35
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications.
Material Type:
Book
Add to e-Shelf

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications.

Kaye, Richard W

2007

Full text available

36
Kurt Godel, Collected Works: Publications 1929-1936.
Material Type:
Book
Add to e-Shelf

Kurt Godel, Collected Works: Publications 1929-1936.

Godel, Kurt; Feferman, Solomon. ; Feferman, Solomon. ; Kleene, Stephen C. ; Moore, George. ; Solovay, R. ; Heijenoort, Jean van.

1986

Full text available

37
Logical Dynamics of Information and Interaction.
Material Type:
Book
Add to e-Shelf

Logical Dynamics of Information and Interaction.

van Benthem, Johan

2011

Full text available

38
The Foundations of Mathematics.
Material Type:
Book
Add to e-Shelf

The Foundations of Mathematics.

Stewart, Ian; Tall, David.

2nd ed.. 2015

Full text available

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

Fundamentals of Set and Number Theory.

Rodionov, Timofey V; Zakharov, Valeriy K.

2018

Full text available

40
Deducibility and Decidability.
Material Type:
Book
Add to e-Shelf

Deducibility and Decidability.

Gill, R. R. Rockingham

1st ed.. 1990

Full text available

41
Kurt Gödel - Collected Works: Collected Works.
Material Type:
Book
Add to e-Shelf

Kurt Gödel - Collected Works: Collected Works.

Gödel, Kurt; Dawson, John A. ; Feferman, S. ; Goldfarb, Warren. ; Parsons, Charles. ; Sieg, Wilfried.

2013

Full text available

42
Kurt Gödel: Collected Works.
Material Type:
Book
Add to e-Shelf

Kurt Gödel: Collected Works.

Gödel, Kurt; Dawson, John A. ; Feferman, Solomon. ; Parsons, Charles. ; Sieg, Wilfried. ; Staff, Stanford Unviersity of Mathematics. ; Sieg, Wilfried.

2013

Full text available

43
Pidgins and Creoles in Asia.
Material Type:
Book
Add to e-Shelf

Pidgins and Creoles in Asia.

Ansaldo, Umberto

2012

Full text available

View all versions
44
Logique arithmétique: L'arithmétisation de la logique.
Material Type:
Book
Add to e-Shelf

Logique arithmétique: L'arithmétisation de la logique.

Gauthier, Yvon; Yvon, Gauthier.

2010

Full text available

View all versions