Kapak Resmi

First-order logic

Diğer sürümleri göster (2)

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Smullyan, Raymond M (Yazar)
Materyal Türü:	Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Berlín Springer-Verlag 1968
Seri Bilgileri:	Ergebnisse der Mathematik und ihrer Grenzgebiete, 43
Konular:	Lógica matemática
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

First-order logic
Yazar:: Smullyan, Raymond M
Baskı/Yayın Bilgisi: (1968)

First-order logic
Yazar:: Smullyan, Raymond M
Baskı/Yayın Bilgisi: (1995)

Mathematical logic
Yazar:: Shoenfield, Joseph R
Baskı/Yayın Bilgisi: (1967)

Notes on logic
Yazar:: Lyndon, Roger C.
Baskı/Yayın Bilgisi: (1966)

Logic for mathematicians
Yazar:: Rosser, J. Barkley
Baskı/Yayın Bilgisi: (1953)

Elements of mathematical logic
Yazar:: Lukasiewicz, Jan
Baskı/Yayın Bilgisi: (1963)

Many-valued logics
Yazar:: Rosser, J. Barkley, ve diğerleri
Baskı/Yayın Bilgisi: (1952)

Introduction to Mathematical Logic
Yazar:: Dinkines, Flora
Baskı/Yayın Bilgisi: (1964)

Logic colloquium
Yazar:: Parikh, Rohit
Baskı/Yayın Bilgisi: (1975)

First order categorial logic: model-theoretical methods in theory of topoi and related categories
Yazar:: Makkai, Michael, ve diğerleri
Baskı/Yayın Bilgisi: (1977)

Introductory formal logic of mathematics
Yazar:: Nidditch, P. H.
Baskı/Yayın Bilgisi: (1957)

Elements of mathematical logic
Yazar:: Novikov, P. S. (Petr Sergeevich)
Baskı/Yayın Bilgisi: (1964)

Popular lectures on mathematical logic
Yazar:: Wang, Hao
Baskı/Yayın Bilgisi: (1993)

Introduction to logic
Yazar:: Copi, Irving M, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Logic and reasoning in mathematics
Yazar:: Johnson, Donovan A
Baskı/Yayın Bilgisi: (1963)

Introduction to mathematical logic
Yazar:: Church, Alonzo
Baskı/Yayın Bilgisi: (1956)

Set theory and logic
Yazar:: Stoll, Robert R
Baskı/Yayın Bilgisi: (1963)

Formal logic
Yazar:: Prior, Arthur N
Baskı/Yayın Bilgisi: (1962)

Elements of symbolic logic
Yazar:: Reichenbach, Hans
Baskı/Yayın Bilgisi: (1966)

Set theory and logic
Yazar:: Fraenkel, Abraham Adolf
Baskı/Yayın Bilgisi: (1966)

Mathematical logic
Yazar:: Quine, Willard Van Orman
Baskı/Yayın Bilgisi: (1962)

Principles of mathematical logic
Yazar:: Hilbert, David, ve diğerleri
Baskı/Yayın Bilgisi: (1950)

Proofs and refutations: the logic of mathematical discovery
Yazar:: Lakatos, Imre
Baskı/Yayın Bilgisi: (1976)

Tableau systems for first order number theory and certain higher order theories
Yazar:: Toledo, Sue
Baskı/Yayın Bilgisi: (1975)

An introduction to logic
Yazar:: Joseph, H. W. B
Baskı/Yayın Bilgisi: (1916)

Elementary logic of science and mathematics
Yazar:: Nidditch, P. H.
Baskı/Yayın Bilgisi: (1960)

Algebra and logic
Yazar:: Crossley, J. N
Baskı/Yayın Bilgisi: (1975)

The logic of quantum mechanics
Yazar:: Beltrametti, Enrico G, ve diğerleri
Baskı/Yayın Bilgisi: (1981)

The hidden mathematical logic of stories
Yazar:: Paulos, John Allen
Baskı/Yayın Bilgisi: (1998)

Methods in mathematical logic
Yazar:: Prisco, C. A. di
Baskı/Yayın Bilgisi: (1985)

Logic and knowledge: essays 1901 - 1950
Yazar:: Russell, Bertrand
Baskı/Yayın Bilgisi: (1956)

An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
Yazar:: Boole, George
Baskı/Yayın Bilgisi: (1958)

Modal logics
Yazar:: Feys, Robert
Baskı/Yayın Bilgisi: (1965)

Toposes, algebraic geometry and logic
Yazar:: Lawvere, F. William
Baskı/Yayın Bilgisi: (1972)

Logic
Yazar:: Gratry, Auguste
Baskı/Yayın Bilgisi: (1944)

Introduction to logic
Yazar:: Suppes, Patrick
Baskı/Yayın Bilgisi: (1957)

An algebraic introduction to mathematical logic
Yazar:: Barnes, Donald W, ve diğerleri
Baskı/Yayın Bilgisi: (1975)

Introduction to logical theory
Yazar:: Strawson, P. F
Baskı/Yayın Bilgisi: (1952)

Term logic with choice operator
Yazar:: Hermes, Hans
Baskı/Yayın Bilgisi: (1970)

An introduction to Hilbert space and quantum logic
Yazar:: Cohen, David W
Baskı/Yayın Bilgisi: (1989)