Zhong zhi xue zhong zhi luo ji, zhong zhi ji he lun, zhong zhi gai lü kun

Zhong zhi xue zhong zhi luo ji, zhong zhi ji he lun, zhong zhi gai lü kun

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Smarandache, Florentin 1954- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Chinese
Veröffentlicht:	[Meiguo] Xiquan Publishing House Chinese Branch 2003
Schlagworte:	MATHEMATICS / Infinity MATHEMATICS / Logic Logic Logic, Symbolic and mathematical Logic > Miscellanea
Online-Zugang:	DE-1046 DE-1047
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

An introduction to practical formal methods using temporal logic
von: Fisher, Michael
Veröffentlicht: (2011)

Conditional and preferential logics proof methods and theorem proving
von: Pozzato, Gian Luca
Veröffentlicht: (2010)

Logic, construction, computation
Veröffentlicht: (2012)

The future of post-human mathematical logic
von: Baofu, Peter
Veröffentlicht: (2008)

Foundational studies, Volume I selected works
Veröffentlicht: (1979)

Reasoning about theoretical entities
von: Forster, T. E.
Veröffentlicht: (2003)

Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009
Veröffentlicht: (2012)

Mathematical logic
von: Chiswell, Ian
Veröffentlicht: (2007)

Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978
Veröffentlicht: (1979)

Collected works, Volume I, Publications 1929-1936
von: Gödel, Kurt
Veröffentlicht: (1986)

Church's Thesis after 70 years
Veröffentlicht: (2006)

From Peirce to Skolem a neglected chapter in the history of logic
von: Brady, Geraldine
Veröffentlicht: (2000)

Mathematical thinking and writing a transition to abstract mathematics
von: Maddox, Randall B.
Veröffentlicht: (2002)

Essays on non-classical logic
Veröffentlicht: (2001)

Mathematics and mathematical logic new research
Veröffentlicht: (2010)

The connection between modal logic and algorithmic logics
von: Emde Boas, Peter van
Veröffentlicht: (1978)

[Omega]-Bibliography of Mathematical Logic Model Theory
Veröffentlicht: (1987)

Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
von: Stegmüller, Wolfgang
Veröffentlicht: (1984)

Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit
von: Stegmüller, Wolfgang
Veröffentlicht: (1984)

Zehn Vorlesungen Über die Grundlegung der Mengenlehre Gehalten in Kiel auf Einladung der Kant-Gesellschaft, Ortsgruppe Kiel, vom 8.–12. Juni 1925
von: Fraenkel, Adolf
Veröffentlicht: (1927)

Logique arithmétique l'arithmétisation de la logique
von: Gauthier, Yvon
Veröffentlicht: (2010)

Proceedings of the Second Scandinavian Logic Symposium
Veröffentlicht: (1971)

The road to universal logic festschrift for 50th birthday of Jean-Yves Béziau
Veröffentlicht: (2015)

Guida alla teoria degli insiemi
von: Lolli, Gabriele 1942-
Veröffentlicht: (2008)

Foundations without foundationalism a case for second-order logic
von: Shapiro, Stewart
Veröffentlicht: (1991)

A first course in logic an introduction to model theory, proof theory, computability, and complexity
von: Hedman, Shawn
Veröffentlicht: (2004)

From Petri nets to linear logic through categories a survey
von: Martí-Oliet, Narciso, et al.
Veröffentlicht: (1991)

Logique arithmetique l'arithmetisation de la logique
von: Gauthier, Yvon
Veröffentlicht: (2010)

Five papers on logic and foundations
Veröffentlicht: (1972)

Logic a first course
von: Fairchild, David L.
Veröffentlicht: (1978)

On the logic of negation
von: Wright, Georg Henrik von 1916-2003
Veröffentlicht: (1959)

La logica
von: Dalla Chiara, Maria Luisa 1938-
Veröffentlicht: (1974)

Eléments de logique contemporaine
von: Roure, Marie-Louise
Veröffentlicht: (1967)

Residuated lattices an algebraic glimpse at substructural logics
Veröffentlicht: (2007)

Mathematics and Plausible Reasoning, Volume 2 Logic, Symbolic and mathematical
von: Polya, G.
Veröffentlicht: (2021)

Foundational studies, Volume II selected works
Veröffentlicht: (1979)

The Philosophers and Mathematics Festschrift for Roshdi Rashed
Veröffentlicht: (2018)

Strong normalisation for the linear term calculus
von: Benton, Peter N.
Veröffentlicht: (1993)

The diagonal infinity problems of multiple scales
von: Hubey, H. M.
Veröffentlicht: (1998)

Folk algebras in algebras logic and computer science
von: Frias, Marcelo Fabian 1968-
Veröffentlicht: (2002)