Buchumschlag

Constructive order types/

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	CROSSLEY, John N.
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Amsterdam: North-Holland; 1969.
Schriftenreihe:	(Studies in Logic and the fluoridations of Mathematics)
Schlagworte:	1. Logic, Symbolic and Mathematical. a. Title.
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Varieties of constructive mathematics /
von: Bridges, Douglas

Varieties of constructive mathematics
von: Bridges, Douglas
Veröffentlicht: (1987)

Introduction to Mathematical Logic / Introduction to Mathematical Logic
von: Church, Alonzo
Veröffentlicht: (1996)

The Essence of Logic / The Essence of Logic
von: Kelly, John
Veröffentlicht: (1997)

Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
von: SCHMIDT, H. Arnold ed
Veröffentlicht: (1968)

The Axiomatic method: an introduction to mathematical logic/
von: LIGHTSTONE, A.H
Veröffentlicht: (1964)

Elements of mathematical logic/
von: NOVIKOV, P.S
Veröffentlicht: (1964)

Combinatory logic/
von: CURRY, Haskell B.
Veröffentlicht: (1968)

New Methods in symbolic logic/
von: STANDLEY, Gerald B.
Veröffentlicht: (1971)

Logic With Trees: an introduction to symbolic logic/
von: Howson, Colin
Veröffentlicht: (1997)

Elements of mathematical logic/
von: LUKASIEWICZ, Jan
Veröffentlicht: (1963)

Formal Logic/ Its Scope and Limits
von: Jeffrey, Richard C.
Veröffentlicht: (1967)

Symbolic Logic/
von: Copi, Irving M.
Veröffentlicht: (1979)

Introduction to Symbolic Logic/
von: Basson, A. H.
Veröffentlicht: (1960)

A mathematical introduction to logic /
von: Enderton, Herbert B.
Veröffentlicht: (2001)

Introduction to mathematical logic /
von: Church, Alonzo
Veröffentlicht: (1956)

Symbolic logic /
von: Copi, Irving M.
Veröffentlicht: (1979)

Symbolic Logic/
von: Lee, Harold Newton
Veröffentlicht: (1961)

Introduction to Symbolic Logic / Introduction to Symbolic Logic
von: Basson, A. H.
Veröffentlicht: (1993)

Logic and Set Theory /
von: Philip, N.
Veröffentlicht: (1979)

Threshold logic /
von: LEWIS, P.M
Veröffentlicht: (1967)

Fundamentals of symbolic logic/
von: AMBROSE, Alice
Veröffentlicht: (1948)

Introduction to mathematical logic; set theory / computable functions, model theory.
von: MALITZ, Jerome
Veröffentlicht: (1979)

Logic for mathematicians /
von: Hamilton, Alan G., 1943-
Veröffentlicht: (2001)

Leibnits and the seventeenth-century /
von: Meyer, R.W
Veröffentlicht: (1952)

First steps in model logic /
von: Popkorn, Sally
Veröffentlicht: (1994)

Logic for mathematicians
von: Hamilton, Alan G., 1943-
Veröffentlicht: (2001)

First steps in model logic
von: Popkorn, Sally
Veröffentlicht: (1994)

Computability and logic /
von: Boolos, George S.
Veröffentlicht: (1989)

Studying deductive logic/
von: Berger, Fred R.
Veröffentlicht: (1977)

Logic : A Philosophical Introduction /
von: Kaminsky, Jack
Veröffentlicht: (1974)

An introduction to non-classical logic : from if to is / from if to is
von: Priest, Graham
Veröffentlicht: (2008)

Principia mathematica to *56 /
von: Whitehead, Alfred North
Veröffentlicht: (1997)

Set Theory
von: Chatterjee, P. N.
Veröffentlicht: (1993)

Set Theory
von: Chatterjee, P. N.
Veröffentlicht: (1995)

Logic and Proof Techniques / Logic and Proof Techniques
von: Eberle, Rolf A.
Veröffentlicht: (1996)

Tractatus logico-philosophicus / tractatus logico philosophicus
von: ডরঃঃমবহংঃবরহ, খঁফরিম
Veröffentlicht: (2001)

Readings on Logic
von: Copi
Veröffentlicht: (1972)

A Concise Introduction to Logic
von: Hurley
Veröffentlicht: (2006)

Logic: Informal, Symbolic and Inductive
von: Chakraborti
Veröffentlicht: (2007)