Mathematical logic

Show other versions (1)
Saved in:
Bibliographic Details
Uniform Title:
Main Author: Ebbinghaus, Heinz-Dieter, 1939-
Other Authors: Flum, Jörg, Thomas, Wolfgang, 1947-
Format: Book
Language:English
German
Published: New York : Springer-Verlag, [1994]
Edition:2nd ed.
Series:Undergraduate texts in mathematics.
Physical Description:
x, 289 pages : illustrations ; 25 cm.
Subjects:
Logic, Symbolic and mathematical.

Similar Items

Search Result 1

Mathematical logic by Chiswell, Ian, 1948-

Published: Oxford University Press, 2007
Description: viii, 250 pages : illustrations ; 25 cm.
Table of contents only -
Book
Save to List
Saved in:
Mathematical logic
Search Result 2

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

Published: Barnes & Noble, 1967
Description: 124 pages : illustrations ; 21 cm.
Book
Save to List
Saved in:
Language, logic, and mathematics
Search Result 3

Foundations of mathematical logic by Curry, Haskell B. (Haskell Brooks), 1900-1982

Published: Dover Publications, 1977
Description: viii, 408 pages : illustrations ; 21 cm.
Publisher description -
Book
Save to List
Saved in:
Foundations of mathematical logic
Search Result 4

Popular lectures on mathematical logic by Wang, Hao, 1921-

Published: Van Nostrand Reinhold Co., 1981
Description: ix, 273 pages : illustrations ; 24 cm.
Book
Save to List
Saved in:
Popular lectures on mathematical logic
Search Result 5

Mathematical logic for computer science 2nd ed. by Ben-Ari, M., 1948-

Published: Springer, 2001
Description: xiv, 304 pages : illustrations ; 24 cm.
Publisher description -
Book
Save to List
Saved in:
Mathematical logic for computer science
Search Result 6

Introduction to mathematical logic : set theory, computable functions, model theory by Malitz, Jerome, 1936-

Published: Springer-Verlag, 1979
Description: xii, 198 pages ; 25 cm.
Cover
Book
Save to List
Saved in:
Introduction to mathematical logic : set theory, computable functions, model theory
Search Result 7

The development of mathematical logic by Nidditch, P. H.

Published: Routledge & Kegan Paul, 1962
Description: 88 pages ; 18 cm.
Book
Save to List
Saved in:
The development of mathematical logic
Search Result 8

Logic in elementary mathematics by Exner, Robert M.

Published: McGraw-Hill, 1959
Description: 274 pages : illustrations ; 24 cm.
Book
Save to List
Saved in:
Logic in elementary mathematics
Search Result 9

Logic for mathematicians by Hamilton, A. G., 1943-

Published: Cambridge University Press, 1978
Description: viii, 224 pages : illustrations ; 23 cm.
Book
Save to List
Saved in:
Logic for mathematicians
Search Result 10

Logic and structure 4th ed. by Dalen, D. van (Dirk), 1932-

Published: Springer-Verlag, 2004
Description: x, 263 pages ; 24 cm.
Contributor biographical information -
Book
Save to List
Saved in:
Logic and structure
Search Result 11

Logical labyrinths by Smullyan, Raymond M.

Published: A K Peters, 2009
Description: viii, 327 pages : illustrations ; 24 cm.
Table of contents only
Book
Save to List
Saved in:
Logical labyrinths
Search Result 12

A tour through mathematical logic by Wolf, Robert S.

Published: Mathematical Association of America, 2005
Description: xv, 397 pages : illustrations ; 22 cm.
Book
Save to List
Saved in:
A tour through mathematical logic
Search Result 13

Analysis and synthesis of logics : how to cut and paste reasoning systems

Published: Springer, 2008
Description: xvi, 600 pages : illustrations ; 25 cm.
Table of contents -
Book
Save to List
Saved in:
Analysis and synthesis of logics : how to cut and paste reasoning systems
Search Result 14

The foundations of mathematics by Stewart, Ian

Published: Oxford University Press, 1977
Description: ix, 263 pages : illustrations ; 23 cm.
Book
Save to List
Saved in:
The foundations of mathematics
Search Result 15

Computability and logic by Cohen, Daniel E.

Published: E. Horwood ; Halsted Press, 1987
Description: 243 pages ; 25 cm.
Book
Save to List
Saved in:
Computability and logic
Search Result 16

Mathematical fallacies and paradoxes by Bunch, Bryan H.

Published: Van Nostrand Reinhold Co., 1982
Description: xi, 216 pages : illustrations ; 24 cm.
Book
Save to List
Saved in:
Mathematical fallacies and paradoxes
Search Result 17

Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday

Published: Springer, 2004
Description: vi, 203 pages : illustrations (some color) ; 24 cm.
Publisher description - Restricted to Springer LINK subscribers
Book
Save to List
Saved in:
Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
Search Result 18

Introduction to the foundations of mathematics by Wilder, Raymond Louis, 1896-1982

Published: Wiley, 1952
Description: 305 pages ; 24 cm.
Book
Save to List
Saved in:
Introduction to the foundations of mathematics
Search Result 19

Logic and Boolean algebra by Levitz, Kathleen

Published: Barron's Educational Series, 1979
Description: viii, 132 pages : illustrations ; 21 cm.
Book
Save to List
Saved in:
Logic and Boolean algebra
Search Result 20

Proof, logic, and formalization

Published: Routledge, 1992
Description: x, 241 pages : illustrations ; 23 cm.
Publisher description -
Book
Save to List
Saved in:
Proof, logic, and formalization
Search Result 21

Foundations of logic and mathematics : applications to computer science and cryptography by Nievergelt, Yves

Published: Birkhäuser, 2002
Description: xvi, 415 pages : illustrations ; 26 cm.
Publisher description -
Book
Save to List
Saved in:
Foundations of logic and mathematics : applications to computer science and cryptography
Search Result 22

Notes on logic and set theory by Johnstone, P. T.

Published: Cambridge University Press, 1987
Description: x, 110 pages : illustrations ; 23 cm.
Book
Save to List
Saved in:
Notes on logic and set theory
Search Result 23

Fundamentals of mathematics Rev. ed. by Richardson, Moses, 1911-1968

Published: Macmillan, 1958
Description: 507 pages : illustrations ; 24 cm.
Book
Save to List
Saved in:
Fundamentals of mathematics
Search Result 24

An introduction to mathematical thought by Stabler, Edward Russell, 1906-

Published: Addison-Wesley, 1953
Description: 268 pages : illustrations ; 22 cm.
Book
Save to List
Saved in:
An introduction to mathematical thought
Search Result 25

Mathematics and plausible reasoning by Pólya, George, 1887-1985

Published: Princeton University Press, 1954
Description: 2 volumes : diagrams, tables. ; 25 cm.
Book
Save to List
Saved in:
Mathematics and plausible reasoning
Search Result 26

Philosophy of mathematics in the twentieth century : selected essays by Parsons, Charles, 1933-

Published: Harvard University Press, 2014
Description: xii, 350 pages ; 25 cm.
Book
Save to List
Saved in:
Philosophy of mathematics in the twentieth century : selected essays
Search Result 27

100% mathematical proof by Garnier, Rowan

Published: Wiley, 1996
Description: viii, 317 pages : illustrations ; 25 cm.
Book
Save to List
Saved in:
100% mathematical proof
Search Result 28

Introduction to mathematics of satisfiability by Marek, Wiktor

Published: CRC Press, 2009
Description: xiii, 350 pages : illustrations ; 25 cm.
Book
Save to List
Saved in:
Introduction to mathematics of satisfiability
Search Result 30

Mathematical logic Third edition. by Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang, 1947-

Published: Springer, 2021
Description: 1 online resource (ix, 304 pages) : illustrations.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Mathematical logic
Search Result 31

Euclid in the rainforest : discovering universal truth in logic and math by Mazur, Joseph

Published: Pi, 2005
Description: xv, 334 pages : illustrations ; 23 cm.
Book
Save to List
Saved in:
Euclid in the rainforest : discovering universal truth in logic and math
Search Result 32

Collected works by Gödel, Kurt

Published: Clarendon Press ; Oxford University Press, 1986
Description: volumes : portrait ; 25 cm.
Book
Save to List
Saved in:
Collected works
Search Result 33

Infinity and the mind : the science and philosophy of the infinite by Rucker, Rudy v. B. (Rudy von Bitter), 1946-

Published: Birkhäuser, 1982
Description: x, 342 pages : illustrations ; 24 cm.
Book
Save to List
Saved in:
Infinity and the mind : the science and philosophy of the infinite
Search Result 34

Gödel's theorem : a very short introduction First edition. by Moore, A. W., 1956-

Published: Oxford University Press, 2022
Description: xx, 128 pages : illustrations, portraits ; 18 cm.
Book
Save to List
Saved in:
Gödel's theorem : a very short introduction
Search Result 35

An invitation to applied category theory : seven sketches in compositionality by Fong, Brendan, 1988-, Spivak, David I., 1978-

Published: Cambridge University Press, 2019
Description: xii, 338 pages : illustrations (some color) ; 25 cm.
Book
Save to List
Saved in:
An invitation to applied category theory : seven sketches in compositionality
Search Result 36

Three views of logic : mathematics, philosophy, and computer science by Loveland, Donald W., Hodel, Richard E., Sterrett, Susan G.

Published: Princeton University Press, 2014
Description: xv, 322 pages ; 26 cm.
Book
Save to List
Saved in:
Three views of logic : mathematics, philosophy, and computer science
Search Result 37

Mathematical logic by Turing, Alan, 1912-1954

Published: Elsevier Science, 2001
Description: 1 online resource (xii, 293 pages) : illustrations.
Elsevier - Click here for access
eBook
Save to List
Saved in:
Mathematical logic
Search Result 38

A course on mathematical logic by Srivastava, S. M. (Shashi Mohan)

Published: Springer, 2008
Description: 1 online resource (x, 140 pages).
SpringerLink - Click here for access
eBook
Save to List
Saved in:
A course on mathematical logic
Search Result 39

Mathematical logic : foundations for information science by Li, Wei, 1943 June-

Published: Birkhäuser, 2010
Description: 1 online resource (xii, 261 pages) : illustrations.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Mathematical logic : foundations for information science
Search Result 40

Mathematical logic : foundations for information science Second rev. edition. by Li, Wei, 1943 June-

Published: Birkhäuser, 2014
Description: 1 online resource (xiv, 301 pages) : illustrations.
SpringerLink - Click here for access
eBook
Save to List
Saved in:
Mathematical logic : foundations for information science
Show all versions (767200)

Similar Items