Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: tit all "The Calculus of Logic"
im Bestand: Gesamter Bestand

1 - 10 von 10

	1	Formalization of the Resolution Calculus for First-Order Logic In: Journal of automated reasoning 20.1.2018: 1-30
	2	Handling Inconsistencies in the Early Calculus In: Journal of philosophical logic 18.3.2017: 1-31
	3	Linear logic and noncommutativity in the calculus of structures Straßburger, Lutz, 2003
	4	Linear logic and noncommutativity in the calculus of structures Straßburger, Lutz, 2003
	5	The mathematical analysis of logic Boole, George. - Halle/Saale : Hallescher Verl., 2001, 1. Aufl.
	6	Infinitary Calculus without Loop Rules for Restricted Sequents of the First-Order Linear Temporal Logic Enthalten in Lithuanian mathematical journal Bd. 40, Nr. 4, date:10.2000: 379-388
	7	On computational interpretations of the modal logic S4 / 2. The λevQ calculus [1996]
	8	The modular logic as a calculus of logical schemata Enthalten in Studia logica Bd. 27, Nr. 1, date:12.1971: 73-78
	9	Upper and Lower Bounds for the Height of Proofs in Sequent Calculus for Intuitionistic Logic Enthalten in Journal of mathematical sciences Bd. 275, 30.9.2023, Nr. 2, date:9.2023: 195-224
	10	Boole, George / The mathematical analysis of logic Werk (wit)

1 - 10 von 10

Alle Materialarten

Alle Kataloge/Sammlungen

Hochschulschriften (2)

Alle Standorte

Alle Normdaten

Werke (1)

Aktionen