Logic and structure

Logic and structure

Saved in:

Bibliographic Details
Main Author:	Dalen, D. va 1932- Dirk
Format:	Book
Published:	Berlin, NY Springer-Verlag 2004
Edition:	4th ed
Series:	Universitext
Subjects:	Logic, Symbolic and mathematical
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Mathematical logic
by: Chiswell, Ian 1948-
Published: (2007)

Mathematical logic
by: Shoenfield, Joseph R
Published: (2001)

Mathematical logic applications and theory
by: Rubin, Jean E
Published: (1990)

Lectures on mathematical logic
by: Felscher, Walter
Published: (2000)

INTRODUCTION TO MATHEMATICAL LOGIC
by: Mendelson, Elliott
Published: (2010)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2001)

Introduction to Mathematical Logic
by: Mendelson, Elliott
Published: (1997)

What is mathematical logic?
Published: (1972)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2006)

An introduction to mathematical logic
by: Hodel, Richard E
Published: (1995)

Waht is mathematical logic?
Published: (1972)

Handbook of mathematical logic
Published: (1978)

Language, logic, and mathematics
by: Kilmister, C. W. Clive William
Published: (1967)

Perspectives on the history of mathematical logic
Published: (1991)

A mathematical introduction to logic
by: Enderton, Herbert B
Published: (2001)

Symbolic logic and mechanical theorem proving
by: Chang, Chin-Liang 1937-
Published: (1973)

Mathematical logic in the 20th century
Published: (2003)

Perspectives on the History of Mathematical Logic
Published: (2008)

Logic Colloquium '77 proceedings of the ... held August 1977
Published: (1978)

Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Published: (2004)

Introduction to mathematical logic and resolution principle
by: Wang, Guo-Jun
Published: (2009)

Logical labyrinths
by: Smullyan, Raymond M.
Published: (2009)

Language in action categories, lambdas and dynamic logic
by: Van Benthem, Johan
Published: (1991)

Mathematical logic and computability
by: Keisler, H. Jerome
Published: (1996)

Hybrid logic and its proof-theory
by: Brauner, Torben
Published: (2011)

A Tour through Mathematical Logic
by: Wolf, Robert S.
Published: (2005)

An introduction to mathematical logic and type theory to truth through proof
by: Andrews, P. B. (Peter Bruced1937-
Published: (1986)

How to prove it a structured approach
by: Velleman, Daniel J
Published: (2006)

Logik dan penggunaannya untuk sistem komputer
by: Nguyen, Huu Bong
Published: (1987)

A concise introduction to pure mathematics
by: Liebeck, M. W 1954- Martin W.
Published: (2011)

A concise introduction to pure mathematics
by: Liebeck, M. W. 1954- Martin W.
Published: (2006)

The foundations of mathematics
by: Stewart, Ian
Published: (1998)

Inconsistent mathematics
by: Mortensen, Chris
Published: (1995)

Logic, proof, and sets
by: Bittinger, Marvin L
Published: (1982)

Computational aspects of an order-sorted logic with term declarations
by: Schmidt-Schauss, M. Manfred
Published: (1989)

Logica universalis towards a general theory of logic
Published: (2007)

The theory of probability an inquiry into the logical and mathematical foundations of the calculus of probability.
by: Reichenbach, Hans 1891-1953
Published: (1971)

Logic from computer science proceedings of a ... held November 13-17, 1989
Published: (1992)

Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
Published: (1970)

A transition to abstract mathematics mathematical thinking and writing
by: Maddox, Randall B.
Published: (2009)